nowadays openscad integrates manifold library which is much faster. However the updated release (2023) is not yet availble as packages for main distrubution so the easiest way to get it is to install one of the nightly builds.