jenkins: get more debug output in mkcloud runs