pushd not available in /bin/sh.