Fixed compilation problem on linux