Stub for make_S3_triangulations()