flush pipes every half a second – fixes #18