use quotes around filenames, do not imply whitedb.h should be used as an API header