Don't modify the terminal colors - they get changed by terminator