fix ART repo