On Jan 28, 2012, at 11:25 AM, Marc Glisse wrote: > Then your best bet is to use the same patched sources as Ubuntu. > apt-get source gcc-4.4 > (dpkg-buildpackage can help work out exactly what Ubuntu does to build a package) That worked! Thanks a lot. Amittai Aviram PhD Student in Computer Science Yale University 646 483 2639 amittai.aviram@xxxxxxxx http://www.amittai.com