Fix windows build break, thanks Gisle!