fix the problem by using gcc4.2 instead