diff --git a/Makefile b/Makefile
index 10a442d..8074f26 100644
--- a/Makefile
+++ b/Makefile
@@ -10,6 +10,8 @@ FLAG_LEN ?= 32
 FLAG_FORMAT ?= ctf{FLAG_GOES_HERE}
 FLAG_SEED ?= false
 
+PYTHON_EXE ?= python
+
 # Compilation variables
 RISCV_CC ?= riscv64-unknown-elf-gcc
 RISCV_ARCH_FLAGS ?= -march=rv32im -mabi=ilp32
@@ -106,7 +108,7 @@ endif
 
 $(GENERATED): .FORCE
 	mkdir -p $(dir $@)
-	python codegen/generate.py $(FLAG_FORMAT) $(FLAG_LEN) $(FLAG_SEED) > $@
+	$(PYTHON_EXE) codegen/generate.py $(FLAG_FORMAT) $(FLAG_LEN) $(FLAG_SEED) > $@
 
 
 build: