--- run_build.pl.orig	2025-11-25 07:47:25
+++ run_build.pl	2026-01-09 15:02:23
@@ -3415,7 +3415,13 @@ sub wait_timeout
 		$SIG{$sig} = 'DEFAULT';
 	}
 	$SIG{'TERM'} = \&silent_terminate;
-	sleep($wait_time);
+	# loop to absorb any unexpected signals without dying early
+	my $end_time = time + $wait_time;
+	while (time < $end_time)
+	{
+		my $delay = $end_time - time;
+		sleep($delay);
+	}
 	print STDERR "Run timed out, terminating.\n";
 	my $sig = $usig[0] || 'TERM';
 	kill $sig, $main_pid;