Workaround the fact that xrdb on Ubuntu is no longer called with the -cpp option (which breaks the Solarized theme)