Fixes to IseFileReloader.