use a special UserAgent for curl requests: