Configure auxtex