Cast MySQL smallint with auto_increment to PostgreSQL serial, fixes #22.