<verbatim>
INFO: (1) Recursively removing
rm: cannot remove Device or
 resource busy
ERROR: There was a problem removing with rm -f

Error: (delete-directory) cannot delete directory - Directory not empty:
3.1/checkspace"

        Call history:

        runs.scm:812: file-exists?
        runs.scm:813: conc
        runs.scm:813: system
        runs.scm:814: debug:print
        common_records.scm:51: debug:debug-mode
        common_records.scm:52: with-output-to-port
        runs.scm:819: symbolic-link?
        runs.scm:823: directory?
        runs.scm:824: directory-utils#directory-fold
        directory-utils.scm:128: ##sys#get-keyword
        directory-utils.scm:130: type-checks#check-procedure
        directory-utils.scm:132: check-directory
        directory-utils.scm:79: directory?
        directory-utils.scm:132: directory
        directory-utils.scm:129: fold
        runs.scm:826: delete-directory          <--
Press any key to continue
</verbatim>