Hack to fix CMake breakage.  Fixes #4.