anyone know a trick to get mysql to read from standard input when importing (from .sql dump)? using piped output from sed