Add server php5-dev (to get phpize)