Fixes to travis CI.