Use new hurdfault.h interface.