more travis-ci debug stuff