fix travis build (again)