Merge pull request #1143 from YosysHQ/clifford/fix1135