diff --git a/bin/assure_map_editor b/bin/assure_map_editor
index 89dcfb0..65a26a4 100755
Binary files a/bin/assure_map_editor and b/bin/assure_map_editor differ
diff --git a/bin/libs/libop_planner.so b/bin/libs/libop_planner.so
index 6afb909..caaf5f1 100755
Binary files a/bin/libs/libop_planner.so and b/bin/libs/libop_planner.so differ
diff --git a/bin/libs/libsmt.so b/bin/libs/libsmt.so
index ed504b8..3525f1d 100755
Binary files a/bin/libs/libsmt.so and b/bin/libs/libsmt.so differ