I just realized that sudo apt-get install php5-dev php5-mysql gcc libpcre3-dev also installs php5-dev. I don't know much, but I imagine it is for developing: so, the final user isn't going to need it, right?
php5-dev installs phpize and php-config which is needed to generate the extension Makefile to install the extension