So we use now gcc4.8 from google... that seems to work best...