- making distfiles happy