add missing files (part of #3171 fix)