renaming file, because @ signs are silly (and break browsers)