Fix Travis-CI-build