[php-pimple] No /dev/null for pushd or popd