fix to send User-Agent (github denies requests without user-agent header)