Fixing bad CMake scripting done earlier today (see 1bc59d6).