more tweaks to compiler.jx download script