fix travis CI build (attempt 2)