> Where is this is_file_copy class supposed to come from? I don't see it declared anywhere.

Too quick for me :)