diff --git a/.gitignore b/.gitignore
index 84a323e7d3d1ea922e962e4b31ca35abe3c90cb9..98e5fcf315729b070be65d7d1618df603ef4d91f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 target
 **/*.rs.bk
+Cargo.lock
diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index 998ca101de2a62c50ea1ae6b212059708ff763ad..52cc15cba7ced8c8cf956e217df2103a8fc11960 100644
--- a/klee-examples/Cargo.toml
+++ b/klee-examples/Cargo.toml
@@ -28,12 +28,12 @@ version = "0.3.0"
 #volatile-register = { version = "0.3.0", path = "../volatile-register" }
 
 [[bin]]
-name = "main"
-path = "src/main.rs"
+name = "foo"
+path = "src/foo.rs"
 
 [[bin]]
-name = "main2"
-path = "src/main2.rs"
+name = "register"
+path = "src/register.rs"
 
 [profile.dev]
 incremental = false
diff --git a/klee-examples/src/main.rs b/klee-examples/src/foo.rs
similarity index 100%
rename from klee-examples/src/main.rs
rename to klee-examples/src/foo.rs
diff --git a/klee-examples/src/main2.rs b/klee-examples/src/register.rs
similarity index 100%
rename from klee-examples/src/main2.rs
rename to klee-examples/src/register.rs