filter: adding PKCS#11 patches to fix the API as 'elaborated' user defined examples.