On Wed, Feb 10, 2016 at 02:04:36PM +0000, Alastair McKinstry wrote: > Thanks, I am uploading a version with this ASAP. > > Will you be submitting a change request to mpi-default-dev? Of course, as soon as openmpi builds. -- A tit a day keeps the vet away.