fix jenkins io buffering