The option to rename the file does not show up in the new media section of WordPress 3.5.
This is unfortunate but a little expected as WordPress has completely reworked their media control. Unfortunately, renaming the filename is still not natively supported so it will require an update from this plugin.
Just wanted to let you know. Thanks.