HACK: manually copying term.js into static directory because term.js library does not understand url prefixes