cmake failed due to "no default value" feature of cmake