Nice post. Where did you get the package php5.6-dev? it’s not in ondrej’s PPA.