Add a minisat recipe
Fix minisat recipe