Fix Issue 10071 - 'real' alignment wrong on OS X 32 bit