Makefile in agda subdir now only deals with agdai