Fixed a 32 bit bug in remove2_precomp.
Fixed a 32 bit bug in remove2_precomp.

jpflori/flint2,jpflori/flint2,wbhart/flint2,wbhart/flint2,dsroche/flint2,jpflori/flint2,dsroche/flint2,dsroche/flint2,fredrik-johansson/flint2,jpflori/flint2,wbhart/flint2,dsroche/flint2,fredrik-johansson/flint2,fredrik-johansson/flint2