quick hack to work around broken pipe error