Switch to teamwin as we're using gcc 4.6