port argument must be parsed as int
fixes bug: term.js not loaded.

caused by github serves .js as plain text