Experimenting with migrating a full db from mysql to postgresql