Issue #257: 32 bit alignment Eigenlib error