Hack to get color theme to play nice with lesser emacsen