diff --git a/third_party/kelvin-binary/BUILD b/third_party/kelvin-binary/BUILD
index a0d9e29..811a570 100644
--- a/third_party/kelvin-binary/BUILD
+++ b/third_party/kelvin-binary/BUILD
@@ -16,6 +16,7 @@
                 "instr_fault_elf.bin",
                 "load_fault_0_elf.bin",
                 "load_fault_1_elf.bin",
+                "rv32ui_fence_i_elf.bin",
                 "rv32ui_sh_elf.bin",
                 "rv32ui_sw_elf.bin",
                 "store_fault_0_elf.bin",