Avoid stupid mariadb filesort in findMissingFiles.php

Change-Id: I6267cfaf375fcc0eea8291fd7a2a0f7daa05a941