tried to recover from node bugs on my dev box (Linux VM, node 0.10.0) but didn't accomplish it completely. Anyway, here's the up-to-date package.json for npm install and a shoddy shell script to invoke node/prettyprint: the stdin/stdout stuff still has to be done for that one, but JUICE still ain't workin' for me, alas. :'-(