fix for rmtree on linux