It was generating the wrong output — that is: not the same as on Windows.
My fix initialized a thitherto uninitialized array with the VisualC++(ca. 5.0) debug build default value.