Another tweak to travis script.