--- a/s/libInit.cc	Thu Oct 22 08:00:29 2015 +0100
+++ b/s/libInit.cc	Thu Oct 22 08:25:49 2015 +0100
@@ -30,6 +30,7 @@
 _Benchmark_Init(pass,__pRT__,snd);
 _BenchmarkError_Init(pass,__pRT__,snd);
 _BenchmarkExamples_Init(pass,__pRT__,snd);
+_BenchmarkExamplesInstrument_Init(pass,__pRT__,snd);
 _BenchmarkExecutor_Init(pass,__pRT__,snd);
 _BenchmarkInstance_Init(pass,__pRT__,snd);
 _BenchmarkMeasurement_Init(pass,__pRT__,snd);