Hack: Fix print buffering; allow running programs that need $DISPLAY