tests: Don't use pushd/popd in install_vigra.sh