Some more fixes in the travis-ci configuration