pushd and popd is safer here to not confuse Travis