Use pushd and popd in the install script