refactor splaytree gcc4.6