Agent Push via SSH - How do I change SSH Port?

I'm trying to configure an Agent Push profile to automatically SSH into an existing EC2 AMI and install the Build Agent.  However, my AMIs use a non-standard SSH port (not port 22).  How can I configure this?

My TeamCity Server contains a file config/agentpush-presets.xml that has authentication details (like the key file), so that would be my first guess - but I can't find any documentation for valid parameters.  Here's what it looks like:

<?xml version="1.0" encoding="UTF-8"?>
<agentpush-presets>
  <agentpush-preset name="ec2-agent-push" id="1414679718676">
    <description />
    <platform>Unix</platform>
    <installLocation>$HOME/BuildAgent</installLocation>
    <user>ec2-user</user>
    <authenticationScheme>KEY_FILE</authenticationScheme>
    <keyFilePath>/data/teamcity/keys/teamcity-agent.pem</keyFilePath>
    <password>dfsjkfdsajkdfs</password>
    <passphrase>dfsjkfdsajkdfs</passphrase>
    <runtimeUser />
    <runtimePassword>zxx775d03cbe80d301b</runtimePassword>
  </agentpush-preset>
</agentpush-presets>

Anyone have ideas?