Hi all, I am upgrading to the most recent galaxy-dist 720455407d1c<https://bitbucket.org/galaxy/galaxy-dist/changeset/720455407d1c> . First time run.sh shows following errors as in attachment. It seems when I use 'manage_db.sh upgrade' it doesn't create necessary tables for these tools. Wonder if these are known issues? Thanks