diff --git a/Makefile b/Makefile
index 0625316..a7eefaa 100644
--- a/Makefile
+++ b/Makefile
@@ -12,7 +12,7 @@ ULMDIR = ../ulm
 ULMINCLUDE = $(ULMDIR)/kllvm
 EVMDIR = ../evm-semantics
 KRYPTOINCLUDE = $(EVMDIR)/kevm-pyk/src/kevm_pyk/kproj/plugin
-CFLAGS = -ccopt -std=c++17 -ccopt -lssl -ccopt -lcrypto -ccopt -lsecp256k1 -ccopt $(EVMDIR)/krypto.a -ccopt -L$(ULMINCLUDE) -ccopt -lulmkllvm
+CFLAGS = -ccopt -std=c++17 -ccopt -lssl -ccopt -lcrypto -ccopt -lsecp256k1 -ccopt $(KRYPTOLIB) -ccopt -L$(ULMINCLUDE) -ccopt -lulmkllvm
 
 UNISWAP_PARAMS = $(EXAMPLES_DIR)/swaps/UniswapV2Swap.sol 2>&1 1>$(OUTPUT_DIR)/uniswap.ast
 UNISWAPRN_PARAMS = $(EXAMPLES_DIR)/swaps/UniswapV2SwapRenamed.sol 2>&1 1>$(OUTPUT_DIR)/uniswaprn.ast