Fix garbled file permissions

Revert permissions 755 to 644, introduced by commit
ef0ef921b8dcb49ee82acba6540b69e6617c65d9