Fix build; had forgotten to add file