Fixed compilation error for gcc