Move php5-dev install to setup script