equivalent of 'ipconfig /flushdns' on Linux