s3:util: rename procid_equal() to serverid_equal()