Exterminatus killed the dinosaurs