Fix Travis-build