Try a trivial fix for the rbt-crash