Updated the name of the executable in the travis config.