some debug output for jenkins