remove merge annotations from libc.c