fix compilation bug in InsertionSortCollider.hpp