Replace console.log with print to make SpiderMonkey happy