Pushing cedric's changes to travis build config.