modified:   CMakeLists.txt
: do not modify source user_defs.mk