ignore .vagrant* directories
cookbook to repair sources.list for old Ubuntu releases