Fixing an executable permissions issue
Merge commit '6510bd8af3c3138565662093ee03c889b3b2ab41' into HEAD