Most of the posix source files can be easily identified by a short name. I.e. most of the `pthread_` prefixed files do not need the `pthread_` prefix. Signed-off-by: Christopher Friedt <cfriedt@meta.com>