compactifies