fixed object file format so it uses sane sizes