use bool "coff" instead of objfmt in the frontend