David - Is it possible to have VMMaker create a vmmaker.h file that one can include to determine the VMMaker version the VM was generated from? It would be enough if it says, e.g., #define VMMAKER_VERSION "3.11.3" This way we could use that in the relevant places to ensure we display which version the VM was generated from. Cheers, - Andreas