added PPA ppa:chris-lea/node.js-devel for nodejs-dev on Ubuntu