add option "-D DOMAINS_FILE"