CI-specific: try to avoid the verify error on PrintWriter construction