Workaround for rename on linux