CryptoMiniSat2's Makefile had the same mistake as the other CryptoMiniSat's original Makefile. Corrected
CryptoMiniSat2's Makefile had the same mistake as the other CryptoMiniSat's original Makefile. Corrected

kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp