diff --git a/src/builtin/CMakeLists.txt b/src/builtin/CMakeLists.txt
index ff425ecc3..a46a478b7 100644
--- a/src/builtin/CMakeLists.txt
+++ b/src/builtin/CMakeLists.txt
@@ -72,5 +72,5 @@ add_kernel_theory("nat.lean"       "${CMAKE_CURRENT_BINARY_DIR}/kernel.olean")
 add_theory("int.lean"       "${CMAKE_CURRENT_BINARY_DIR}/nat.olean")
 add_theory("real.lean"      "${CMAKE_CURRENT_BINARY_DIR}/int.olean")
 add_theory("specialfn.lean" "${CMAKE_CURRENT_BINARY_DIR}/real.olean")
-add_theory("cast.lean"      "${CMAKE_CURRENT_BINARY_DIR}/kernel.olean")
+add_theory("cast.lean"      "${CMAKE_CURRENT_BINARY_DIR}/nat.olean")