![](https://secure.gravatar.com/avatar/8fb8e20562b276a1540891a8ce15c8f7.jpg?s=120&d=mm&r=g)
24 Jul
2021
24 Jul
'21
3: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