fix installation of ImageMagick PHP extension