Gelukkig, mijn Mac mini crasht niet meer vele keren per dag sinds een software opgrade. Oplossing was safe-boot, dat schoont lib caches op.