Bugfixing Travis-CI build