- ${CMAKE_HOME_DIRECTORY}/src/simix/smx_popping_generated.h
- ${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_body.c
+ ${CMAKE_HOME_DIRECTORY}/src/simix/smx_popping_bodies.c
+ ${CMAKE_HOME_DIRECTORY}/src/simix/smx_popping_enum.h
+ ${CMAKE_HOME_DIRECTORY}/src/simix/smx_popping_accessors.h