issue #2905: add missing files