Fix `distclean' issue