Fix sizes of types used in map file (#140)