gen_prime: ensure X = 3 mod 4 always (2x speed-up)
diff --git a/library/bignum.c b/library/bignum.c
index 2a97a59..7fac5fa 100644
--- a/library/bignum.c
+++ b/library/bignum.c
@@ -1969,9 +1969,9 @@
             if( ret != POLARSSL_ERR_MPI_NOT_ACCEPTABLE )
                 goto cleanup;
 
-            MPI_CHK( mpi_add_int( &Y, X, 1 ) );
-            MPI_CHK( mpi_add_int(  X, X, 2 ) );
-            MPI_CHK( mpi_shift_r( &Y, 1 ) );
+            /* Keep X = 3 mod 4 */
+            MPI_CHK( mpi_add_int(  X,  X, 4 ) );
+            MPI_CHK( mpi_add_int( &Y, &Y, 2 ) );
         }
     }