Update file_list.php

Fixed a mistake: the $filenames array was not built before the exec(). Sorry!