Slight modification to travis config.