Update to 4.7.2 - includes PHP 5.6 support.