Updated PHP configure options