fix issue under linux