Adding files to allow for cryptominisat4 to be used