Speculative workaround for apparent libstdc++ bug exposed by r203534.