diff --git a/src/teeos/mod.rs b/src/teeos/mod.rs
index b9a46f946a84..40bc0c0549a0 100644
--- a/src/teeos/mod.rs
+++ b/src/teeos/mod.rs
@@ -5,9 +5,6 @@
 #![allow(non_camel_case_types)]
 #![allow(non_snake_case)]
 
-// only supported on Rust > 1.59, so we can directly reexport c_void from core.
-pub use core::ffi::c_void;
-
 use crate::prelude::*;
 
 pub type c_schar = i8;
diff --git a/src/trusty.rs b/src/trusty.rs
index 2d2b78881a75..60ca11d48161 100644
--- a/src/trusty.rs
+++ b/src/trusty.rs
@@ -1,4 +1,4 @@
-pub use core::ffi::c_void;
+use crate::prelude::*;
 
 pub type size_t = usize;
 pub type ssize_t = isize;