3 ms·

Can confirm it builds very fast, including extensions. And on many-core machines it scales quite a bit (make -j64)...