fix #4634: crash in rts/Sim/Misc/CollisionHandler.h:59