Thanks Jeff, i confirm the problem is fixed on CentOS 5
i commited r32215 because some files were missing from the tarball/nightly snapshot/make dist. Cheers, Gilles On 2014/07/11 4:21, Jeff Squyres (jsquyres) wrote: > As of r32204, this should be fixed. Please let me know if it now works for > you.