[PATCH] util: In ASSERT(), use "fprintf(stderr, ...)" rather than err(...)