How to config serproxy at "com10"

No need to recompile. You can just set the device in serproxy configuration:

comm_ports=9,40
...
serial_device40=\.\COM40
...
net_port40=5340