File garbage (#888)