hopefully fixed compilation on debian stable