Another fix for travis config.