Use cache_file_name instead of searching it in the config file

Also construction of ISA is simplified.