Bugfixing Travis CI configuration