24 Jul
2021
24 Jul
'21
9:44 a.m.
Fixed Thanks Wolfgang, Floris and Hans I think the problem was with some hidden extension in the filenames. After using wget, everything worked ok. Jorge Magalhães