fix compilation issues for pirq checker tool (trivial)