try removing php5-dev from travisconfig