Make texvcjs compatible to texvc