Fix bug preventing creation of MSIs on release#5497

NlightNFotis merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

hannes-steffenhagen-diffblue:CD/fix-msi-releasehannes-steffenhagen-diffblue/cbmc:CD/fix-msi-releaseCopy head branch name to clipboard