Reverting manually commited fixes

Author: thk123

appveyor.yml

@@ -56,7 +56,6 @@ build_script:
     call "C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\vcvarsall.bat" x64
     sed -i "s/BUILD_ENV[ ]*=.*/BUILD_ENV = MSVC/" src/config.inc
     make -C src -j2
-    make -C src symex.dir -j2
 
 test_script:
 - cmd: |

regression/Makefile

@@ -12,6 +12,7 @@ DIRS = ansi-c \
        invariants \
        strings \
        strings-smoke-tests \
+       symex \
        test-script \
        # Empty last line