Addressing #720: broken configuration when using ccmake on Ubuntu