Fix Boxfile PHP 5.4.14