1) suppress debug printout in xtk.js