Though the thread was inconclusive,  the bug was likely fixed by subsequent changes by Martin and does not happen with the current trunk, so I'm closing this one.