fix compilation on linux (2)