On Sat, 11 Nov 2017, Willy Sudiarto Raharjo wrote: > can you try to remove the sources and re-download again? Willy, I'll do this ... can't promise when, but likely this weekend. Rich