Another fix for travis.