Removing the obsolete dimacsshuffle