diff --git a/libafl_concolic/symcc_runtime/src/lib.rs b/libafl_concolic/symcc_runtime/src/lib.rs
index c51a4990f0..5f0272727f 100644
--- a/libafl_concolic/symcc_runtime/src/lib.rs
+++ b/libafl_concolic/symcc_runtime/src/lib.rs
@@ -261,8 +261,7 @@ macro_rules! export_runtime {
         // mean that this is 'safe'.
         static mut GLOBAL_DATA: Option<$rt> = None;
 
-        #[cfg(not(test))]
-        #[$crate::ctor]
+        #[cfg_attr(not(test), $crate::ctor)]
         fn init() {
             // See comment on GLOBAL_DATA declaration.
             unsafe {
diff --git a/libafl_concolic/test/runtime_test/src/lib.rs b/libafl_concolic/test/runtime_test/src/lib.rs
index 903c1e98f6..6dd72fff0d 100644
--- a/libafl_concolic/test/runtime_test/src/lib.rs
+++ b/libafl_concolic/test/runtime_test/src/lib.rs
@@ -1,3 +1,5 @@
+// this is required to be allowed to call the final executable what we want (and need) in Cargo.toml
+#![allow(non_snake_case)]
 //! Just a small runtime to be used in the smoke test.
 
 use symcc_runtime::{