Hello Ben, On 02/12/13 08:25, Ben Cooksley wrote: > As a temporary workaround, to keep the CI system functional I have > reverted to the last known good revision of cmake[next]. It should now be fixed in cmake next. Thanks, Daniele