Small bug fixed: wrong file was passed in to find_domain_arch