don't install swig/php5-dev if we don't need them