Call it minisat-plus, so that it works on binstar