fix #4116: deletion of cache not possible