Fix __version__hex__ in server-net.py