Fix for Travis CI test configuration.