fix petsc and scotch Portfile