Set ADDR_NO_RANDOMIZE on linux for determinism

luprex/core/cpp/main.cpp

@@ -45,8 +45,6 @@ int main(int argc, char **argv)
         }
     }
     if (engine == nullptr) usage();
-    // Remove one argument from the argument vector,
-    // so that it looks like a normal argument vector.
-    driver_drive(engine.get(), argc - 1, argv + 1);
+    driver_drive(engine.get(), argc, argv);
 }