Travis: activate 4.02 version