functions.sh: explicitly specify wget output to go to the expected filename.