Rename JS standard library to