Updated DNS flush shortcut to work with Yosemite.