further JS additions for precompiling