Added potential fix for file renaming issue on Linux