Some cleanups
Add compressed virtuoso dump