travis config: tweaking the test script