solving output mismatch with older mcpat