diff --git a/src/common/util/cilfacade.ml b/src/common/util/cilfacade.ml
index a23ee64149..a71f2544e3 100644
--- a/src/common/util/cilfacade.ml
+++ b/src/common/util/cilfacade.ml
@@ -50,12 +50,10 @@ let init_options () =
   Cabs2cil.addNestedScopeAttr := get_bool "cil.addNestedScopeAttr";
 
   if get_bool "ana.sv-comp.enabled" then (
-    let machine = match get_string "exp.architecture" with
+    Cil.envMachine := match get_string "exp.architecture" with
       | "32bit" -> Machdep.gcc32
       | "64bit" -> Machdep.gcc64
       | _ -> assert false
-    in
-    Machdep.theMachine := Option.get machine
   )
 
 let init () =
diff --git a/src/goblint.ml b/src/goblint.ml
index 52b9bbdfc0..2707e6e57d 100644
--- a/src/goblint.ml
+++ b/src/goblint.ml
@@ -5,8 +5,8 @@ open Maingoblint
 (** the main function *)
 let main () =
   try
-    Cilfacade.init ();
     Maingoblint.parse_arguments ();
+    Cilfacade.init ();
 
     (* Timing. *)
     Maingoblint.reset_stats ();