Merge branch 'bldchn' into next

* bldchn:
  cosmetics, list Installation and cpuid in distclean-local hook
  fix, comb out double-/ hiccups in invocation-{name,directory}
  chore, bldchn, remove dump file upon make uninstall
  chore, major, do not include dump id in dump file name