languages.sh: make curl follow redirections