diff --git a/artiq/runtime.rs/libksupport/lib.rs b/artiq/runtime.rs/libksupport/lib.rs
index 027c0e3b3..08673e759 100644
--- a/artiq/runtime.rs/libksupport/lib.rs
+++ b/artiq/runtime.rs/libksupport/lib.rs
@@ -307,7 +307,10 @@ pub unsafe fn main() {
     (mem::transmute::<usize, fn()>(library.lookup("__modinit__")))();
     send(&NowSave(NOW));
 
-    attribute_writeback(library.lookup("typeinfo") as *const ());
+    let typeinfo = library.lookup("typeinfo");
+    if typeinfo != 0 {
+        attribute_writeback(typeinfo as *const ())
+    }
 
     send(&RunFinished);