This is really an OS/toolchain bug, which has since been fixed.