flush stdout - Jenkins console fix