fixed a compilation error for linux