add stupid User-Agent to keep github happy