Check libexec changes with splint - OK