Add new source file to make tests pass. Should have been in d7de9dc3d3120e4283067ce4b6872a765b0838b8.