Forgot to add corresponding output files for make check