Maintain an extended path in dist-files.mk for better accuracy

This is needed to resolve some duplicate files installed during "make install"
by default.