remove async stuff (now in Minisat.hsc)