Update for Gc -> P change in libsyntax