disable core-finding in mopsy if picosat not found