change MiniSat2.cabal to use LF instead of CRLF
remove spaces that follows -D options of gcc