fix compilation after 38f5aaa56ef87ed58ae03239ac0a600988c0fd09