let string_to_red s = 
    if (!do_color_terminal) then Printf.sprintf "\\x1B[31;1m%s\\x1B[0m" s else s