Mysql snippet for loading db from dump