rm debian/dirs, ancient and now unnecessary