Die "maketecheasier" site slaat er maar wat op los, lijkt me, maar het askubuntu advies om eens handmatig de cachelijst leeg te halen, is het proberen waard. Neem zeer zorgvuldig het commando letterlijk over, want een spatietje dat in de pathnaam zou sluipen, zal ervoor zorgen dat je veel meer wist dan je wenst.