Rename the autogenerated garbage collector headers, so they are not confused
with ordinary header files.