fix compilation #430
this is need for feelpp/chorus#5