PHP 7.2 fix #1484