modify prolib
modify init.lua and add package.seeall in prolib