Avoid some rare cases where git clean doesn't work correctly