Merge pull request #339 from YosysHQ/dave/cmakefix

Apply Boost CMake fix to all OSs