-$(ALGO_NAME)_INCDIR := bigint/ noekeon/ memxor/
-$(ALGO_NAME)_OBJ := bigint.o bigint_io.o bigint_add_u.o rsa.o rsa_key_blob.o
-$(ALGO_NAME)_TEST_BIN := main-rsa-test.o $(CLI_STD) \
+$(ALGO_NAME)_INCDIR := bigint/ noekeon/ memxor/ hfal/
+$(ALGO_NAME)_OBJ := bigint.o bigint_io.o rsa.o rsa_key_blob.o
+$(ALGO_NAME)_TESTBIN := main-rsa-test.o $(CLI_STD) \