Reinstate debian/source/format