Don't do minisat-2.2.0 dir by default
Don't do minisat-2.2.0 dir by default

git-svn-id: 5facb983d7372ae426b1e6603b58ad22977bf690@458 740c81f5-4728-4b1f-bc77-cf82a461b733

tautschnig/fshell,tautschnig/fshell,tautschnig/fshell,tautschnig/fshell