Dealing with broken pipe (not filling terminal with traceback in that case)