ptex-bin: zero-byte-file-in-doc-directory
ptex-bin: extra-license-file
ptex-bin: script-not-executable
ptex-bin: wrong-name-for-upstream-changelog
