Memory leak fixed, so revert e333def

It was not bigarray's fault, as expected. See 354b13e for the real
fix.