In cc8d4151, the arguments of
warn_or_exit_horribly() were changed but this was not updated.