How to copy a file from the Rhino Linux command line