Added executable file permission to binstubs
Merge pull request #6361 from jvanbaarsen/made-binstubs-executable

Added executable file permission to binstubs