Ci fixes

This fix the Travis CI build.