Fixes for travis.ci.