Fixes for colour output on Linux