The cause of the problem was most likely that the vxl build was started before the CMake build was finished. Hence, CMake/Modules was updated, but the vxl build still used the old CMake executable. -- Peter.