Never mind; I think I have a different solution. Thanks anyway.

@anyone: I'm trying to restore a WordPress database backup. The file is here https://www.dropbox.com/s/ertp5r0ed9aohoj/fornoblogwp20170915_365.sql.gz?dl=0

When I try to gunzip in terminal, it says that the file is not zipped.

When I try to import directly in PHPMyAdmin it says #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 '?t??Y' at line 1

I've opened the file in BBEdit and it certainly looks compressed to me, but Stuffit Expander doesn't seem to understand it either.

What now?