diff --git a/src/utils/pintos b/src/utils/pintos
index 16a725a9ef4dd44351f9b82e911eca1841cd50b1..0ddb8a6711311ea7e82e03232746a1539e6bb840 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -913,7 +913,7 @@ sub get_load_average {
 # Calls setitimer to set a timeout, then execs what was passed to us.
 sub exec_setitimer {
     if (defined $timeout) {
-	if (${"\cV"} ge 5.8.0) {
+	if ($? ge 5.8.0) {
 	    eval "
               use Time::HiRes qw(setitimer ITIMER_VIRTUAL);
               setitimer (ITIMER_VIRTUAL, $timeout, 0);