fix travis script?