Hi Howard,
thanks for this hint.
I never found any offical recommendation in migration / upgrading docs.
May be its win-specific. May be its related to php versions.
A colleaugue working with Linux / php 7.1 had no problems at all.
Sure enough: the scripts ~ admin/index try to disable/clear opcache with some functions.
Obviously working not to well with all constellations.