
export PGI_VERSION=${PGI_VERSION:-10}

