Fix a non-portable sed command in the make-depend target
Fix a non-portable sed command in the make-depend target

niklasso/minisat,robertsami/minisat,meteor/minisat,meteor/minisat,mabdula/minisat,jamesbornholt/minisat,robertsami/minisat,mabdula/minisat,meteor/minisat,meteor/minisat,mabdula/minisat,jamesbornholt/minisat,niklasso/minisat