Merge pull request #1706 from YosysHQ/mmicko/remove_executable_flag