improved oc8051_defines.v file format type setting