Generated zip file should contain an empty lib directory.
I need primary keys in the database schema so that ORMs can
automatically generate entities from the schema.
Separating the symbolic execution code from the query generation code.