minor tweak: user-agent for curl set