must precompile bookmarklet.js