Smarter MySQL dump.  Files start with server name.