Scripts to convert from dump to XML through SQLite