fixing travis4