Stub for CBMC installer for Windows