50423e9545
This fixes a bug where os::copy_file was called with a directory name, and updates the command line options and usage messages for clarity.