diff --git a/bin/deepstate/common.py b/bin/deepstate/common.py
index 5c63862..8fd0430 100644
--- a/bin/deepstate/common.py
+++ b/bin/deepstate/common.py
@@ -307,7 +307,7 @@ class DeepState(object):
       message.append(format_str % val)
 
     res = "".join(message)
-    res.rstrip("\r\n")
+    res.rstrip(" \t\r\n\0")
     return res
 
   def _save_test(self, info, input_bytes):
diff --git a/bin/deepstate/main_angr.py b/bin/deepstate/main_angr.py
index 06ce782..e8b8dcc 100644
--- a/bin/deepstate/main_angr.py
+++ b/bin/deepstate/main_angr.py
@@ -299,7 +299,7 @@ def main():
   try:
     project = angr.Project(
         args.binary,
-        use_sim_procedures=False,
+        use_sim_procedures=True,
         translation_cache=True,
         support_selfmodifying_code=False,
         auto_load_libs=True,