Issue #24: alias for flushing local DNS cache