[Boost-users] Can't find copy_file() with copy_option