How can I batch convert MIF files to HEX files?