Fixes to travis config.