Add files for "make check"