tomcrypt_pkcs.h is ported