Some modifications to prepend 'odin32ex' headers