This may mess up colour hacks in other places, but should fix C128 colours
in the terminal.