issue #444: make colors portable