Fix for Travis CI support