diff --git a/src/builtin/CMakeLists.txt b/src/builtin/CMakeLists.txt
index f6ff6138ca..ba50c22e34 100644
--- a/src/builtin/CMakeLists.txt
+++ b/src/builtin/CMakeLists.txt
@@ -27,6 +27,7 @@ function(add_theory_core FILE ARG EXTRA_DEPS)
   add_custom_command(OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/${FNAME}
     COMMAND ${SHELL_DIR}/lean ${ARG} -o ${CMAKE_CURRENT_BINARY_DIR}/${FNAME} ${CMAKE_CURRENT_SOURCE_DIR}/${FILE}
     COMMAND ${CMAKE_COMMAND} -E copy ${CMAKE_CURRENT_BINARY_DIR}/${FNAME} ${SHELL_DIR}/${FNAME}
+    COMMAND ${CMAKE_COMMAND} -E copy ${CMAKE_CURRENT_BINARY_DIR}/${FNAME} ${CMAKE_CURRENT_SOURCE_DIR}/${FNAME}
     DEPENDS ${CMAKE_CURRENT_SOURCE_DIR}/${FILE} ${SHELL_DIR}/lean ${EXTRA_DEPS})
   add_custom_target(${FNAME}_builtin DEPENDS ${CMAKE_CURRENT_BINARY_DIR}/${FNAME})
   add_dependencies(builtin ${FNAME}_builtin)
diff --git a/src/builtin/basic.olean b/src/builtin/basic.olean
new file mode 100644
index 0000000000..d5ae8f972a
Binary files /dev/null and b/src/builtin/basic.olean differ
diff --git a/src/builtin/cast.olean b/src/builtin/cast.olean
new file mode 100644
index 0000000000..5751af3a3c
Binary files /dev/null and b/src/builtin/cast.olean differ