--- a/s/libInit.cc	Thu Oct 22 08:25:49 2015 +0100
+++ b/s/libInit.cc	Thu Oct 22 15:21:09 2015 +0100
@@ -31,6 +31,7 @@
 _BenchmarkError_Init(pass,__pRT__,snd);
 _BenchmarkExamples_Init(pass,__pRT__,snd);
 _BenchmarkExamplesInstrument_Init(pass,__pRT__,snd);
+_BenchmarkExecutionFailure_Init(pass,__pRT__,snd);
 _BenchmarkExecutor_Init(pass,__pRT__,snd);
 _BenchmarkInstance_Init(pass,__pRT__,snd);
 _BenchmarkMeasurement_Init(pass,__pRT__,snd);