Revert PHP 5.3 to try both