travis: make travis happy for empty header files