What is the proper way to fix image size mismatches? For example, when I run this on one of my wikis, it shows 11 files (out of over 26k) where the size in the database is 0 but the files are confirmed to be non-zero in size. I thought that maybe the rebuildImages.php script would do the job, but apparently not.