fixed a linux compatibility issue