fix build issue under linux