more tweaking the travis file