don't redirect stdout to a NULL rdbuf on Pi

Closes #253