Removing stale targets: cryptominisat3 and m4ri now refer directly to cryptominisat base targets.