Use console.log, as /dev/stdout doesn't appear to work on Ubuntu