0001-build.py-Do-not-fail-when-dir-to-be-cleaned-does-not.patch
