Re: [PPL-devel] GCC bug affecting the PPL on sparc64