Workaround ASN1SCC minor bug for the Windows platform