revert unneeded renaming.
<arg value="libpicosat.so" />
</exec>
<exec executable="strip" dir="${boolector.path}/deps/install/lib/">
- <arg value="libminisat.so.2" />
+ <arg value="libminisat.so" />
</exec>
<exec executable="strip" dir="${boolector.path}/build/lib/">
<arg value="libboolector.so" />
