more debugging for travis-ci