Mac os x terminal font repair