Workaround for wrong RVM settings in Travis CI.