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