Leaner custom build of badger.js