Summary of changes: 2c41741... Make files in libexec directory executable (*) b343eab... Merge branch 'f15' into f14 (*) This commit already existed in another branch; no separate mail sent