add missing files accidentally not included in last release