To workaround this issue, at the Mac Leopard machine, manually configure DNS that is configured at SSL VPN when the SSL VPN client is connected.