Add linux's libtomcrypt's static library