diff --git a/CMakeLists.txt b/CMakeLists.txt
index 0af624c..abe1594 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -2,7 +2,7 @@ cmake_policy(SET CMP0048 NEW)
 project(S2E_AOBC
   LANGUAGES CXX
   DESCRIPTION "S2E_AOBC"
-  VERSION 5.0.2
+  VERSION 5.0.3
   )
 
 cmake_minimum_required(VERSION 3.13)
diff --git a/s2e-core b/s2e-core
index 45c0c76..6385e16 160000
--- a/s2e-core
+++ b/s2e-core
@@ -1 +1 @@
-Subproject commit 45c0c76c005f87fe38ba9c5dd9f0cb15b3cf7290
+Subproject commit 6385e1625df7be158e04ec9fb0d271eaeec55bd4