On Saturday June 20 2015 12:48:57 Ryan Schmidt wrote: > But in fact, all of this should really be replaced by: > > > cmake.out_of_source yes Ah, I must have forgotten about this one at the time ... R.