Fix permissions.

Not everything is executable.

This is technically not really needed, but it's still good to keep the repo tidy.