USL copyright additions on those. Kill varargs.h, because it can simply be a link to the machine-dependent version.