fix a bug on linux