Fix extensionless shell file attributes
Merge branch 'develop' of github.com:dita-ot/dita-ot into develop