Use custom User-Agent in http-download. Fixes #4.