diff --git a/artiq/firmware/satman/main.rs b/artiq/firmware/satman/main.rs
index e942068fe..66893a915 100644
--- a/artiq/firmware/satman/main.rs
+++ b/artiq/firmware/satman/main.rs
@@ -1,7 +1,6 @@
 #![feature(lang_items, global_allocator)]
 #![no_std]
 
-extern crate compiler_builtins;
 extern crate alloc_list;
 extern crate std_artiq as std;
 #[macro_use]