Debug Travis-CI-build issues