added User Agent header to make Github happy