diff --git a/manticore/platforms/linux.py b/manticore/platforms/linux.py
index <HASH>..<HASH> 100644
--- a/manticore/platforms/linux.py
+++ b/manticore/platforms/linux.py
@@ -1753,9 +1753,9 @@ class Linux(Platform):
         self.sched()
         self.running.remove(procid)
         #self.procs[procid] = None
-        logger.debug("EXIT_GROUP PROC_%02d %s", procid, error_code)
+        logger.debug("EXIT_GROUP PROC_%02d %s", procid, ctypes.c_int32(error_code).value)
         if len(self.running) == 0 :
-            raise TerminateState("Program finished with exit status: %r" % error_code, testcase=True)
+            raise TerminateState("Program finished with exit status: %r" % ctypes.c_int32(error_code).value, testcase=True)
         return error_code
 
     def sys_ptrace(self, request, pid, addr, data):
Manticore prints linux ret code as uint instead of int (#<I>)

* Fixing raise issue #<I>



* syncing git



* Fix Bug #<I>



* syncing



* removed all binaries



* missed one file