DNSFilter: fix build errors; fix webui page reload after apply