Travis CI may already have linux headers, dropping