fix #41: PHP-8.1 compat