No more doc-utils, remove itfrom EXTRA_DIST