Removed duplicated EXTRA_DIST entry in src/tools/Makefiles.am