Geoff -- Have you had a chance to look at this PR, which Benjamin appears to have assigned to you back in early March? Thanks, -- Mark Mitchell CodeSourcery, LLC mark@codesourcery.com