add some new files for the checker