php: use module system for Ubuntu 14.04