Check that we have the right number of .xe files in the distribution also.