mario royale is no more