PKCS11: Adjusted files for Windows build