Ubuntu tip - flushing out your repository cache