Use pre-compiled ATS2