After updating from 4.0.8 to 4.0.12, i get a SEGFAULT in mup::TokenReader::DeleteValReader() Is it related to th fix in 4.0.13 ? 