Fix "ci: Fix the reporting in ci_lint.sh"

This fixes commit dddaf0c625a8daea4d027cb57380b7fac6f58285.

The way to reliably `find` executable files is different on BSD, Mac
and Linux, unfortunately.
1 file changed