diff --git a/examples/hermitrust/Cargo.toml b/examples/hermitrust/Cargo.toml
index 9851150..7807085 100755
--- a/examples/hermitrust/Cargo.toml
+++ b/examples/hermitrust/Cargo.toml
@@ -16,9 +16,3 @@ rftrace-frontend = { version = "0.1.0", path="../../rftrace-frontend" }
 #hermit-sys = {version="0.1.25", features=["instrument"]}
 hermit-sys = {git="https://github.com/tlambertz/rusty-hermit", branch="master", features=["instrument", "with_submodule"]}
 #hermit-sys = { path = "../../../rusty-hermit/hermit-sys", features = ["with_submodule", "instrument"] }
-
-[profile.release]
-opt-level = 3
-
-[profile.dev]
-opt-level = 1