[ .travis.yml ] Agda-2.4.2.2 uses ./configure