needed for Jenkins, to get the debug output to console