Temporary debugging for Travis CI