Fix CryptoMinisat4 header include. This was broken by the recent
refactor and wasn't caught because Travis isn't currently testing
this configuration.