Use php 5.5.10 and use frantic s3 bucket for vendored packages