Thanks very much for the quick reply and fix.
The css files have to be removed or else the upgrade script fails.
I also had to remove:
By the way, how does one activate fastCGI? Is it an option in config.php? Or does it have to be set up with the hosting provider? I'm using PHP 7.1 on nearlyfreespeech.ne t.