x86_64: libOndselSolver.so.1
