fix travis, take 12