fix compilation under linux
fix compilation on linux
fix compilation on linux