server: map from id -> player_name fix #25