Since update from last Tuesday or Friday (move to libstdc++6 6), this bad behavior is no more. Closing (the mystery remains).