rename file
another workaround for bash bug

forgot to add the renamed file?