Update execute_file