Issue #415: Deleting files does work