Merge: misc/jenkins: fix checklicense.sh