Fixes for travis file.