So where do we go from here?  Perhaps you could tell me how to debug this with
a workbench version of estudio.  I suppose it could be a bug specific to
Red Hat Enterprise Linux 6.5 (but we still have the 6.4 kernel), though that
doesn't seem likely either.  I will be back to work on Thursday January 2.