Fix piping on linux