These regular files were executable for no reason. They needed a special
rule for the Debian package, better to fix it upstream.