Sorted filenames (#64).