`Base_with_time_stamp` was renamed `Triangulation_simplex_base_with_time_stamp` without compatibility (and I have the former header on my machine)
`Base_with_time_stamp` was renamed `Triangulation_simplex_base_with_time_stamp` without compatibility (and I have the former header on my machine)