Fix travis missing php extension