BTW this fails for me on linux 64.