Okay, I figured it out. I pulled the migration.sql file using wget instead of curl -O, so it included a bunch of html. With the correct file, it's working now. And the link to BI works. Also, thanks for fixing the arrow key binding, it was driving me nuts. :)