Fixes #17. Use a better User-Agent header based on VERSION.