Fix Linux compilation.