Making things ready for DIMACS distribution