Put PHP extension installation into a shell script.