Fix for "Broken pipe" error on Jenkins

@maxfliri
@pbadenski