cache.h: remove this no-longer-used header