/home/swinkler/confchecksmt/src/libyices.so.2.6.2