fixed cryptic default player name on Android; instead using "anonymous" now