make colorization work on linux