util: use standard name for strcmp()