Fixup: Add CMakeLists.txt entry for exec.c file