more debug-logging to investigate build-failure on travis-ci