Work around some tets that fail on Windows due to floating point differences