I don't think it ever uncovered any bugs that the Linux bot
missed. This should speed up the build a little.