It is possible to copy a file to a different folder by using Ctrl-drag and drop, but I cannot do so within the same folder. The Ctrl button simply doesn't add the + to the mouse cursor, and nothing happens when I drop the file.