travis.yml: install as a separate header.