Re: [PPL-devel] PPL fails to build on SGI - with config.log.bz2