Sorry, forgot to update OVM to the latest master before submitting the ovm-v3 merge request. There's some small bugfixes in here.
assigned to @moebius
merged
mentioned in commit b88e5086