Make dosbox.js compliant with jslint