try to fix travis file