Travis: shell download script needs a little more time to run