This should now be fixed. A new build is now available.
By the way, if it's easier than doing it manually, you can do a File > Open Database, and the app will copy and rename the database itself. It does not modify or move the original file, it copies it.