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