loader: compatibility with PHP 5.6