On Fri, Jul 3, 2009 at 7:22 PM, Fabio Fracassi<f.fracassi at gmx.net> wrote: > (resend message which seems to have been lost 2 days ago) Maybe check to make sure your spam filter isn't being over-aggressive? I replied a couple days ago; see http://lists.cs.uiuc.edu/pipermail/cfe-dev/2009-July/005630.html. -Eli