Use correct bash script bange to ensure pushd is availabled