On 25/09/2012 3:53 PM, Stefano Sabatini wrote: > No, this is enough for keeping the check in configure (can be dropped > later - in a year or so - when the new version will be widespread > enough). Pushed. - Derek