fix travis build (again?)