Added PHP 5.4.24 and set as the default.