fix file permissions, fixes #17919 in docs