"Failed to execute sql: 1064" while upgrading 7.1.16 to 8.0.1

Just wanted to report the following:
When upgrading from Seafile Server Pro 7.1.16 to 8.0.1, I got the following error:

$ seafile-pro-server-8.0.1/upgrade/upgrade_7.1_8.0.sh

-------------------------------------------------------------
This script would upgrade your seafile server from 7.1 to 8.0
Press [ENTER] to contiune
-------------------------------------------------------------



Updating seafile/seahub database ...

[INFO] You are using MySQL
[INFO] updating seahub database...
[INFO] updating seafevents database...
[WARNING] Failed to execute sql: (1064, "You have an error in your SQL syntax; check the manual that corresponds to your MySQL server version for the right syntax to use near 'IF NOT EXISTS `has_ignored` TINYINT(1) NOT NULL DEFAULT 0' at line 1")
[WARNING] Failed to execute sql: (1064, "You have an error in your SQL syntax; check the manual that corresponds to your MySQL server version for the right syntax to use near 'IF NOT EXISTS `has_deleted` (`has_deleted`)' at line 1")
[WARNING] Failed to execute sql: (1064, "You have an error in your SQL syntax; check the manual that corresponds to your MySQL server version for the right syntax to use near 'IF NOT EXISTS `has_ignored` (`has_ignored`)' at line 1")
Done

migrating avatars ...

Done

updating [...]/seafile/seafile-server-latest symbolic link to [...]/seafile/seafile-pro-server-8.0.1 ...



-----------------------------------------------------------------
Upgraded your seafile server successfully.
-----------------------------------------------------------------

Nonetheless, the upgrade seems to have been successful and Seafile is running without any obvious problems.

Is there anything I need to do to fix the database?