Fix some stuff on Mac and add GHCi color