--- operations.hpp	2012-04-26 21:01:10.598976200 +0200
+++ operations.hpp.patched	2012-04-26 20:59:30.176458500 +0200
@@ -1128,6 +1128,7 @@
     using filesystem3::character_file;
 //    using filesystem3::copy;
     using filesystem3::copy_file;
+    using filesystem3::copy_directory;
     using filesystem3::copy_option;
     using filesystem3::copy_symlink;
     using filesystem3::create_directories;