Set permission

Apparently `git` changes the permissions to not allow execution. So this must be re-set after updating.