attempt to fix #118: PHP-8.1 compat