Small tweaks to travis.yml to make Travis build run properly.