In case of an nn_err_abort(), flush stderr. Else you might not see
anything.