fix debian: total_cache is no longer available#86

jensritter wants to merge 1 commit intotimdaman:mastertimdaman/check_docker:masterfrom

jensritter:masterjensritter/check_docker:masterCopy head branch name to clipboard