Add extra files for testing

(Our build process requires them.)