Fix temporarily broken PGI path.