[Bug 1203640] Changing from php7 to php8 as default failed due to scriptlet error