Fix pushd command not found.