Try fixing travis script