added a file that wasn't checked in previously, for leveldb building