re #10051 stricmp is strcasesmp in linux