You should be able to use the hosts file to redirect your IRC servers (so you can do /server irc.server.net:port, instead of /server 127.0.0.1:port). This should fix the $server and $serverip problems. However, it does seem unrealistic in your situation.
