build on PHP 5.6, too