fix compiling in Linux