diff --git a/src/ifcconvert/validate_space_boundaries.cpp b/src/ifcconvert/validate_space_boundaries.cpp
index 1d8814676c..94ea7bbb6a 100644
--- a/src/ifcconvert/validate_space_boundaries.cpp
+++ b/src/ifcconvert/validate_space_boundaries.cpp
@@ -135,7 +135,7 @@ void fix_spaceboundaries(IfcParse::IfcFile& f, bool no_progress, bool quiet, boo
 
 		const auto& coords = itelem->second;
 		std::vector<double> distances;
-		std::transform(coords.begin(), coords.end(), std::back_inserter(distances), [&tree](const auto& p) {
+		std::transform(coords.begin(), coords.end(), std::back_inserter(distances), [&tree](const Kernel_::Point_3& p) {
 			return std::sqrt(CGAL::to_double(tree.squared_distance(p)));
 		});
 
diff --git a/src/ifcconvert/validation_utils.h b/src/ifcconvert/validation_utils.h
index f629461a55..eb6e138d38 100644
--- a/src/ifcconvert/validation_utils.h
+++ b/src/ifcconvert/validation_utils.h
@@ -573,7 +573,7 @@ struct intersection_validator {
 	template <typename Fn>
 	void operator()(Fn fn) {
 		std::clock_t box_overlap_begin = std::clock();
-		CGAL::box_self_intersection_d(boxes.begin(), boxes.end(), [](auto& x, auto& y) {});
+		CGAL::box_self_intersection_d(boxes.begin(), boxes.end(), [](Box& x, Box& y) {});
 		std::clock_t box_overlap_end = std::clock();
 		total_box_time += (box_overlap_end - box_overlap_begin) / (double) CLOCKS_PER_SEC;
 		CGAL::box_self_intersection_d(boxes.begin(), boxes.end(), fn);