Added patch for installing with PHP 5.4. Minor name change to 13584 patch