should fix travis script