Use version 0.9.2 of jointjs.