more fixes to travis.ci