Updated travis config to pre-installed php extension version