fix compat with PHP 5.6 and 5.7