Fixed file list refresh, which had been broken ever since I refactored the option processing. TODO: Probably should cherrypick this to master if I'm not going to merge soon.