check-headers.sh revision f1d0b4cd
1