`deleteTree` needs to retry once the directory is reported to be not empty. Otherwise, the retry condition is never reached.
--prominent-compile-errors