Travis CI: More fixes.

This is an adventure in making shell-scripts work with Travis.