Clean up travis config file.
Fix various compilation problems for travis.