Bugfixes for travis setup.