Hack to get the colours right in solarized