fix Linux bug