camplp5: shift 'world.opt' into DEFAULT_SRC_COMPILE_PARAMS