issue #597: add some files