fix distcleaning