Update LoadStdLibraries.js