Log Message: It's DISTINFO_FILE, but PATCHDIR. Fix another bug that happened because of this inconsistency.