use official PHP repository