add missing files I foolishly  erased