Fixed problem upon install related to push and popd.