cocci patch: removed a remaining useless camlidl_alloc (for a value that is handled in the pkcs11_functions).