The sizes of the nuclei of galaxies at 10 microns