On Apr 9, 2013, at 11:46 AM, Elio Parisi wrote: > attached there are the patch that fixed all the three points. The patch appears to be empty (gzip file is 57 bytes). -- Charles Lepple clepple at gmail