ignore SIGPIPE (fix #17)