correct size of x87 CRTL variables