hot-fix heisenbug(s?) in version parsing