+include examples/c/io-file-system/io-file-system.c
+include examples/c/io-file-system/io-file-system.tesh
+include examples/c/platform-failures/platform-failures.c
+include examples/c/platform-failures/platform-failures.tesh
+include examples/c/platform-properties/platform-properties.c
+include examples/c/platform-properties/platform-properties.tesh
+include examples/c/platform-properties/platform-properties_d.xml
+include examples/c/plugin-host-load/plugin-host-load.c
+include examples/c/plugin-host-load/plugin-host-load.tesh
+include examples/c/synchro-semaphore/synchro-semaphore.c
+include examples/c/synchro-semaphore/synchro-semaphore.tesh
+include examples/cpp/actor-create/s4u-actor-create.cpp
+include examples/cpp/actor-create/s4u-actor-create.tesh
+include examples/cpp/actor-create/s4u-actor-create_d.xml
+include examples/cpp/actor-daemon/s4u-actor-daemon.cpp
+include examples/cpp/actor-daemon/s4u-actor-daemon.tesh
+include examples/cpp/actor-exiting/s4u-actor-exiting.cpp
+include examples/cpp/actor-exiting/s4u-actor-exiting.tesh
+include examples/cpp/actor-join/s4u-actor-join.cpp
+include examples/cpp/actor-join/s4u-actor-join.tesh
+include examples/cpp/actor-kill/s4u-actor-kill.cpp
+include examples/cpp/actor-kill/s4u-actor-kill.tesh
+include examples/cpp/actor-lifetime/s4u-actor-lifetime.cpp
+include examples/cpp/actor-lifetime/s4u-actor-lifetime.tesh
+include examples/cpp/actor-lifetime/s4u-actor-lifetime_d.xml
+include examples/cpp/actor-migrate/s4u-actor-migrate.cpp
+include examples/cpp/actor-migrate/s4u-actor-migrate.tesh
+include examples/cpp/actor-stacksize/s4u-actor-stacksize.cpp
+include examples/cpp/actor-stacksize/s4u-actor-stacksize.tesh
+include examples/cpp/actor-suspend/s4u-actor-suspend.cpp
+include examples/cpp/actor-suspend/s4u-actor-suspend.tesh
+include examples/cpp/actor-yield/s4u-actor-yield.cpp
+include examples/cpp/actor-yield/s4u-actor-yield.tesh
+include examples/cpp/actor-yield/s4u-actor-yield_d.xml
+include examples/cpp/app-bittorrent/s4u-app-bittorrent.tesh
+include examples/cpp/app-bittorrent/s4u-app-bittorrent_d.xml
+include examples/cpp/app-bittorrent/s4u-bittorrent.cpp
+include examples/cpp/app-bittorrent/s4u-bittorrent.hpp
+include examples/cpp/app-bittorrent/s4u-peer.cpp
+include examples/cpp/app-bittorrent/s4u-peer.hpp
+include examples/cpp/app-bittorrent/s4u-tracker.cpp
+include examples/cpp/app-bittorrent/s4u-tracker.hpp
+include examples/cpp/app-chainsend/s4u-app-chainsend.cpp
+include examples/cpp/app-chainsend/s4u-app-chainsend.tesh
+include examples/cpp/app-masterworkers/s4u-app-masterworkers-class.cpp
+include examples/cpp/app-masterworkers/s4u-app-masterworkers-fun.cpp
+include examples/cpp/app-masterworkers/s4u-app-masterworkers.tesh
+include examples/cpp/app-masterworkers/s4u-app-masterworkers_d.xml
+include examples/cpp/app-token-ring/s4u-app-token-ring.cpp
+include examples/cpp/app-token-ring/s4u-app-token-ring.tesh
+include examples/cpp/cloud-capping/s4u-cloud-capping.cpp
+include examples/cpp/cloud-capping/s4u-cloud-capping.tesh
+include examples/cpp/cloud-migration/s4u-cloud-migration.cpp
+include examples/cpp/cloud-migration/s4u-cloud-migration.tesh
+include examples/cpp/cloud-simple/s4u-cloud-simple.cpp
+include examples/cpp/cloud-simple/s4u-cloud-simple.tesh
+include examples/cpp/clusters-multicpu/s4u-clusters-multicpu.cpp
+include examples/cpp/clusters-multicpu/s4u-clusters-multicpu.tesh
+include examples/cpp/comm-dependent/s4u-comm-dependent.cpp
+include examples/cpp/comm-dependent/s4u-comm-dependent.tesh
+include examples/cpp/comm-host2host/s4u-comm-host2host.cpp
+include examples/cpp/comm-host2host/s4u-comm-host2host.tesh
+include examples/cpp/comm-pingpong/s4u-comm-pingpong.cpp
+include examples/cpp/comm-pingpong/s4u-comm-pingpong.tesh
+include examples/cpp/comm-pingpong/simix-breakpoint.tesh
+include examples/cpp/comm-ready/s4u-comm-ready.cpp
+include examples/cpp/comm-ready/s4u-comm-ready.tesh
+include examples/cpp/comm-ready/s4u-comm-ready_d.xml
+include examples/cpp/comm-serialize/s4u-comm-serialize.cpp
+include examples/cpp/comm-serialize/s4u-comm-serialize.tesh
+include examples/cpp/comm-suspend/s4u-comm-suspend.cpp
+include examples/cpp/comm-suspend/s4u-comm-suspend.tesh
+include examples/cpp/comm-suspend/s4u-comm-suspend_d.xml
+include examples/cpp/comm-wait/s4u-comm-wait.cpp
+include examples/cpp/comm-wait/s4u-comm-wait.tesh
+include examples/cpp/comm-wait/s4u-comm-wait_d.xml
+include examples/cpp/comm-waitall/s4u-comm-waitall.cpp
+include examples/cpp/comm-waitall/s4u-comm-waitall.tesh
+include examples/cpp/comm-waitall/s4u-comm-waitall_d.xml
+include examples/cpp/comm-waitany/s4u-comm-waitany.cpp
+include examples/cpp/comm-waitany/s4u-comm-waitany.tesh
+include examples/cpp/comm-waitany/s4u-comm-waitany_d.xml
+include examples/cpp/comm-waituntil/s4u-comm-waituntil.cpp
+include examples/cpp/comm-waituntil/s4u-comm-waituntil.tesh
+include examples/cpp/comm-waituntil/s4u-comm-waituntil_d.xml
+include examples/cpp/dht-chord/s4u-dht-chord-node.cpp
+include examples/cpp/dht-chord/s4u-dht-chord.cpp
+include examples/cpp/dht-chord/s4u-dht-chord.hpp
+include examples/cpp/dht-chord/s4u-dht-chord.tesh
+include examples/cpp/dht-chord/s4u-dht-chord_d.xml
+include examples/cpp/dht-kademlia/answer.cpp
+include examples/cpp/dht-kademlia/answer.hpp
+include examples/cpp/dht-kademlia/generate.py
+include examples/cpp/dht-kademlia/message.hpp
+include examples/cpp/dht-kademlia/node.cpp
+include examples/cpp/dht-kademlia/node.hpp
+include examples/cpp/dht-kademlia/routing_table.cpp
+include examples/cpp/dht-kademlia/routing_table.hpp
+include examples/cpp/dht-kademlia/s4u-dht-kademlia.cpp
+include examples/cpp/dht-kademlia/s4u-dht-kademlia.hpp
+include examples/cpp/dht-kademlia/s4u-dht-kademlia.tesh
+include examples/cpp/dht-kademlia/s4u-dht-kademlia_d.xml
+include examples/cpp/energy-boot/platform_boot.xml
+include examples/cpp/energy-boot/s4u-energy-boot.cpp
+include examples/cpp/energy-boot/s4u-energy-boot.tesh
+include examples/cpp/energy-exec-ptask/s4u-energy-exec-ptask.cpp
+include examples/cpp/energy-exec-ptask/s4u-energy-exec-ptask.tesh
+include examples/cpp/energy-exec/s4u-energy-exec.cpp
+include examples/cpp/energy-exec/s4u-energy-exec.tesh
+include examples/cpp/energy-link/s4u-energy-link.cpp
+include examples/cpp/energy-link/s4u-energy-link.tesh
+include examples/cpp/energy-vm/s4u-energy-vm.cpp
+include examples/cpp/energy-vm/s4u-energy-vm.tesh
+include examples/cpp/energy-wifi/s4u-energy-wifi.cpp
+include examples/cpp/energy-wifi/s4u-energy-wifi.tesh
+include examples/cpp/engine-filtering/s4u-engine-filtering.cpp
+include examples/cpp/engine-filtering/s4u-engine-filtering.tesh
+include examples/cpp/exec-async/s4u-exec-async.cpp
+include examples/cpp/exec-async/s4u-exec-async.tesh
+include examples/cpp/exec-basic/s4u-exec-basic.cpp
+include examples/cpp/exec-basic/s4u-exec-basic.tesh
+include examples/cpp/exec-cpu-nonlinear/s4u-exec-cpu-nonlinear.cpp
+include examples/cpp/exec-cpu-nonlinear/s4u-exec-cpu-nonlinear.tesh
+include examples/cpp/exec-dependent/s4u-exec-dependent.cpp
+include examples/cpp/exec-dependent/s4u-exec-dependent.tesh
+include examples/cpp/exec-dvfs/s4u-exec-dvfs.cpp
+include examples/cpp/exec-dvfs/s4u-exec-dvfs.tesh
+include examples/cpp/exec-ptask-multicore/s4u-exec-ptask-multicore.cpp
+include examples/cpp/exec-ptask-multicore/s4u-exec-ptask-multicore.tesh
+include examples/cpp/exec-ptask/s4u-exec-ptask.cpp
+include examples/cpp/exec-ptask/s4u-exec-ptask.tesh
+include examples/cpp/exec-remote/s4u-exec-remote.cpp
+include examples/cpp/exec-remote/s4u-exec-remote.tesh
+include examples/cpp/exec-unassigned/s4u-exec-unassigned.cpp
+include examples/cpp/exec-unassigned/s4u-exec-unassigned.tesh
+include examples/cpp/exec-waitany/s4u-exec-waitany.cpp
+include examples/cpp/exec-waitany/s4u-exec-waitany.tesh
+include examples/cpp/exec-waitfor/s4u-exec-waitfor.cpp
+include examples/cpp/exec-waitfor/s4u-exec-waitfor.tesh
+include examples/cpp/io-async/s4u-io-async.cpp
+include examples/cpp/io-async/s4u-io-async.tesh
+include examples/cpp/io-degradation/s4u-io-degradation.cpp
+include examples/cpp/io-degradation/s4u-io-degradation.tesh
+include examples/cpp/io-dependent/s4u-io-dependent.cpp
+include examples/cpp/io-dependent/s4u-io-dependent.tesh
+include examples/cpp/io-disk-raw/s4u-io-disk-raw.cpp
+include examples/cpp/io-disk-raw/s4u-io-disk-raw.tesh
+include examples/cpp/io-file-remote/s4u-io-file-remote.cpp
+include examples/cpp/io-file-remote/s4u-io-file-remote.tesh
+include examples/cpp/io-file-remote/s4u-io-file-remote_d.xml
+include examples/cpp/io-file-system/s4u-io-file-system.cpp
+include examples/cpp/io-file-system/s4u-io-file-system.tesh
+include examples/cpp/maestro-set/s4u-maestro-set.cpp
+include examples/cpp/maestro-set/s4u-maestro-set.tesh
+include examples/cpp/mc-bugged1-liveness/promela_bugged1_liveness
+include examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness-stack-cleaner
+include examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness-visited.tesh
+include examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness.cpp
+include examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness.tesh
+include examples/cpp/mc-bugged1/s4u-mc-bugged1.cpp
+include examples/cpp/mc-bugged1/s4u-mc-bugged1.tesh
+include examples/cpp/mc-bugged2/s4u-mc-bugged2.cpp
+include examples/cpp/mc-bugged2/s4u-mc-bugged2.tesh
+include examples/cpp/mc-electric-fence/s4u-mc-electric-fence.cpp
+include examples/cpp/mc-electric-fence/s4u-mc-electric-fence.tesh
+include examples/cpp/mc-failing-assert/s4u-mc-failing-assert.cpp
+include examples/cpp/mc-failing-assert/s4u-mc-failing-assert.tesh
+include examples/cpp/network-factors/s4u-network-factors.cpp
+include examples/cpp/network-factors/s4u-network-factors.tesh
+include examples/cpp/network-nonlinear/s4u-network-nonlinear.cpp
+include examples/cpp/network-nonlinear/s4u-network-nonlinear.tesh
+include examples/cpp/network-ns3-wifi/s4u-network-ns3-wifi.cpp
+include examples/cpp/network-ns3-wifi/s4u-network-ns3-wifi.tesh
+include examples/cpp/network-ns3/3hosts_2links_d.xml
+include examples/cpp/network-ns3/3links-timer_d.xml
+include examples/cpp/network-ns3/3links_d.xml
+include examples/cpp/network-ns3/crosstraffic_d.xml
+include examples/cpp/network-ns3/dogbone_d.xml
+include examples/cpp/network-ns3/one_cluster_d.xml
+include examples/cpp/network-ns3/onelink_d.xml
+include examples/cpp/network-ns3/s4u-network-ns3.cpp
+include examples/cpp/network-ns3/s4u-network-ns3.tesh
+include examples/cpp/network-wifi/s4u-network-wifi.cpp
+include examples/cpp/network-wifi/s4u-network-wifi.tesh
+include examples/cpp/platform-failures/s4u-platform-failures.cpp
+include examples/cpp/platform-failures/s4u-platform-failures.tesh
+include examples/cpp/platform-failures/s4u-platform-failures_d.xml
+include examples/cpp/platform-profile/s4u-platform-profile.cpp
+include examples/cpp/platform-profile/s4u-platform-profile.tesh
+include examples/cpp/platform-properties/s4u-platform-properties.cpp
+include examples/cpp/platform-properties/s4u-platform-properties.tesh
+include examples/cpp/platform-properties/s4u-platform-properties_d.xml
+include examples/cpp/plugin-host-load/s4u-plugin-host-load.cpp
+include examples/cpp/plugin-host-load/s4u-plugin-host-load.tesh
+include examples/cpp/plugin-link-load/s4u-plugin-link-load.cpp
+include examples/cpp/plugin-link-load/s4u-plugin-link-load.tesh
+include examples/cpp/plugin-prodcons/s4u-plugin-prodcons.cpp
+include examples/cpp/plugin-prodcons/s4u-plugin-prodcons.tesh
+include examples/cpp/replay-comm/s4u-replay-comm-split-p0.txt
+include examples/cpp/replay-comm/s4u-replay-comm-split-p1.txt
+include examples/cpp/replay-comm/s4u-replay-comm-split_d.xml
+include examples/cpp/replay-comm/s4u-replay-comm.cpp
+include examples/cpp/replay-comm/s4u-replay-comm.tesh
+include examples/cpp/replay-comm/s4u-replay-comm.txt
+include examples/cpp/replay-comm/s4u-replay-comm_d.xml
+include examples/cpp/replay-io/s4u-replay-io.cpp
+include examples/cpp/replay-io/s4u-replay-io.tesh
+include examples/cpp/replay-io/s4u-replay-io.txt
+include examples/cpp/replay-io/s4u-replay-io_d.xml
+include examples/cpp/routing-get-clusters/s4u-routing-get-clusters.cpp
+include examples/cpp/routing-get-clusters/s4u-routing-get-clusters.tesh
+include examples/cpp/synchro-barrier/s4u-synchro-barrier.cpp
+include examples/cpp/synchro-barrier/s4u-synchro-barrier.tesh
+include examples/cpp/synchro-condition-variable-waituntil/s4u-synchro-condition-variable-waituntil.cpp
+include examples/cpp/synchro-condition-variable-waituntil/s4u-synchro-condition-variable-waituntil.tesh
+include examples/cpp/synchro-condition-variable/s4u-synchro-condition-variable.cpp
+include examples/cpp/synchro-condition-variable/s4u-synchro-condition-variable.tesh
+include examples/cpp/synchro-mutex/s4u-synchro-mutex.cpp
+include examples/cpp/synchro-mutex/s4u-synchro-mutex.tesh
+include examples/cpp/synchro-semaphore/s4u-synchro-semaphore.cpp
+include examples/cpp/synchro-semaphore/s4u-synchro-semaphore.tesh
+include examples/cpp/trace-categories/s4u-trace-categories.cpp
+include examples/cpp/trace-categories/s4u-trace-categories.tesh
+include examples/cpp/trace-host-user-variables/s4u-trace-host-user-variables.cpp
+include examples/cpp/trace-host-user-variables/s4u-trace-host-user-variables.tesh
+include examples/cpp/trace-link-user-variables/s4u-trace-link-user-variables.cpp
+include examples/cpp/trace-link-user-variables/s4u-trace-link-user-variables.tesh
+include examples/cpp/trace-masterworkers/s4u-trace-masterworkers.cpp
+include examples/cpp/trace-masterworkers/s4u-trace-masterworkers.tesh
+include examples/cpp/trace-platform/s4u-trace-platform.cpp
+include examples/cpp/trace-platform/s4u-trace-platform.tesh
+include examples/cpp/trace-process-migration/s4u-trace-process-migration.cpp
+include examples/cpp/trace-process-migration/s4u-trace-process-migration.tesh
+include examples/cpp/trace-route-user-variables/s4u-trace-route-user-variables.cpp
+include examples/cpp/trace-route-user-variables/s4u-trace-route-user-variables.tesh