Stuart's answer is obviously more to the point than mine. Please disregard what I wrote ... On Fri, 2015-06-12 at 13:05 -0400, Terrence Enger wrote: > Hmm. I think it is time to file a bug report through our bug tracker