[PPL-devel] PPL fails to build on SGI