fix travis issues (finally?)