c_platform: don't add an ignored header or include directory if it is
already in the list.
also, redo glibc header list for 2.19