fix cmake build system; fixes #274