they are. We don't chmod +x them in-place because the src directory tree might be read-only. Fixes PR 6554, but differently.