hack to get 256-colors recognized