give up on travis php extensions