Fix PGI path that needs to be changed now that the default PGI is 11.10.