fix a bug on linux
fix a bug in linux