tomcrypt_math.h and tomcrypt_prng.h are ported