atools: switch to a working mirror.