Fix a typo.

HOTOHOL_DB_PATH ->
HOTOHOL_DB_DIR