Re: [PATCH libdrm] Update/fix the {copy,commit}-headers targets