Fixed compilation problem on certain versions of g++.