fix font name in linux for gui vim