Use our own compiled php 5.4.13 version from s3