You know what that really was a Mario movie