fix compilation on linux/gcc