debian uses ash for sh, no pushd. shell scripts are always a mistake