Debian does not support renaming files