game_player: workaround for Mithril issue #273