atool-0.39.0: change distfiles