Delete binrep.c