Fix invalid filename for multiplayer server whose ip include illegal characters, e.g. :.

Previous multiplayer files may need manual move.