fix a bug on platform of linux