Set the user-agent when fetching files, closes #1459