--- cryptominisat4/CMakeLists.txt.orig	2014-07-16 21:45:53 UTC
+++ cryptominisat4/CMakeLists.txt
@@ -85,6 +85,7 @@ target_link_libraries(libcryptominisat4
 set_target_properties(libcryptominisat4 PROPERTIES
     OUTPUT_NAME cryptominisat4
     PUBLIC_HEADER "${cryptominisat4_public_headers}"
+    SOVERSION 0
 )
 
 cmsat_add_public_header(libcryptominisat4 cryptominisat.h )
