more workarounds for no junit formatter