Working around new '_build' behaviour of agda (#179)

* Working around new '_build' behaviour of agda

* [ travis ] $TRAVIS_BUILD_DIR to "cd" to the repo

.travis.yml

@@ -27,6 +27,7 @@ before_install:
   - export PATH=/opt/ghc/$GHC_VER/bin:/opt/cabal/$CABAL_VER/bin:/opt/alex/3.1.7/bin:/opt/happy/1.19.5/bin:~/.cabal/bin/:$PATH;
 
 install:
+  - cd
   - cabal update
   - sed -i 's/^jobs:/-- jobs:/' $HOME/.cabal/config
   # get master Agda
@@ -60,6 +61,7 @@ install:
     mkdir $HOME/.cabsnap;
     cp -a $HOME/.ghc $HOME/.cabsnap/ghc;
     cp -a $HOME/.cabal/lib $HOME/.cabal/share $HOME/.cabal/bin $HOME/installplan.txt $HOME/.cabsnap/;
+  - cd $TRAVIS_BUILD_DIR
 
 script:
   - make test