The file /network/krdc/bookmarkmanager.h does not exist.