fix missing variable from the mirage 4.01 compiler