streamlined Makefile only for agdai and not for tex anymore