Fix formatting of crt fixture since the output is different on OS X vs Linux