Temporary fix for 'could not find extruded vertex' bug.

This is a serious bug, which is related to the way we use std::set to
search for points: cf. benchmark/bug/test_problem_point_set_search.cpp

THIS PROBLEM IS ALSO PRESENT IN BDS. WE NEED TO FIND A BETTER FIX!