alembic: better naming of export