install/user.sh: specify output filename for wget