@vhuber fix compilation (thx cdash)