Fix linux_deps.sh reference to 32bit linux download