Check for EOF before complaining about the lack of PPM in the pipe in the ffmpeg...