Travis CI: fix test script