More travis-ci fixing