Upgrade rando3d (fixes #183)