Fix name of test executable in .travis.yml