configure: fix compilation on Linux

This line was accidentally removed by the previous commit.