glthread: remove debug_print_marshal function