workaround for weird bug with gcc in split on 32-bit platforms