fix quality flaw (Jenkins fails to delete temp folder)