Making output properly colorized on Linux