One more fix for the Linux cmake build

fixes #258