Uh, and this might have something to do with the third last line of the failing make being
gmake[1]: *** Deleting file `PGE.pbc'
Uh, and this might have something to do with the third last line of the failing make being
gmake[1]: *** Deleting file `PGE.pbc'