added missing lib.js