Add missing files from bda2e832a452103ff64ae7e5de21d386ebb77c35