These files are needed for unittests and doctests ("make unittest").
