autoconf distclean: do not remove john.log. Fix #903