patch for gccxml