add missing files (#8124)