check-docs: fix for setups where executables have an extension