Update linux

Add 'Pretty JSON' package.