Update AUTHORS.txt, and Builder