debuggin travis-ci integration, #537