Reset DNS cache in OS X Lion