diff --git a/.travis.yml b/.travis.yml
index 6af73e31878..e8e19bc01ea 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -47,4 +47,4 @@ script:
     make -C src minisat2-download &&
     make -C src CXX=$COMPILER CXXFLAGS="-Wall -O2 -g -Werror -Wno-deprecated-register -pedantic -Wno-sign-compare" -j2 &&
     env UBSAN_OPTIONS=print_stacktrace=1 make -C regression test &&
-    make -C src CXX=$COMPILER CXXFLAGS=$FLAGS -j2 aa-symex.dir cegis.dir clobber.dir memory-models.dir musketeer.dir
+    make -C src CXX=$COMPILER CXXFLAGS=$FLAGS -j2 cegis.dir clobber.dir memory-models.dir musketeer.dir
diff --git a/src/Makefile b/src/Makefile
index 7b9e3a1d446..3a452b7fe09 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -44,8 +44,6 @@ symex.dir: languages goto-programs.dir pointer-analysis.dir \
            goto-symex.dir linking.dir analyses.dir solvers.dir \
            path-symex.dir goto-instrument.dir
 
-aa-symex.dir: symex.dir aa-path-symex.dir
-
 # building for a particular directory
 
 $(patsubst %, %.dir, $(DIRS)):