fix compilation on linux