Renaming leveldb.cpp should be fine though.