added code in judger to handle file_io