Fixed compilation under gcc