Add MiniSat files