On Fri, 2010-01-15 at 18:59 +0800, Guo Hongruan wrote: > In fact, I just mixer multiple machines in a single TMPDIR with different > libcs. Hope I am lucky :) Yes, mixing multiple MACHINEs in one TMPDIR is fine. p.