Fixed compilation under linux