fix a bug in coff-dummy.c generation