Breaks in non-debug builds otherwise, e.g.
https://travis-ci.com/xenomai-ci/xenomai/jobs/212725223



Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>