avoid using renameTo as it fails on gnome, minor extensions