an up-to-date dump from mysql