add missing file, oops
(#387)