Further debugging on Travis CI