Dirty workaround to handle case-sensitive paths on github server (script.js)