Update for the Gc -> P change in libsyntax

I don't think this is needed.