minor distcleaning tweak