hack to use terminal with 256 colors