diff --git a/INSTALL b/INSTALL
index af0e06594..116c90f95 100644
--- a/INSTALL
+++ b/INSTALL
@@ -53,7 +53,7 @@ If you do not have access to the online version, follow the following recipies.
      #+BEGIN_SRC shell-script
        ./configure --host=arm-linux-androideabi \
                    --prefix=`pwd`/ecl-android \
-                   --with-cross-config=`pwd`src/util/android.cross_config \
+                   --with-cross-config=`pwd`/src/util/android.cross_config \
                    --disable-soname
        make -j9
        make install
diff --git a/src/c/num_rand.d b/src/c/num_rand.d
index c519b0575..92bb45885 100644
--- a/src/c/num_rand.d
+++ b/src/c/num_rand.d
@@ -53,7 +53,8 @@ init_genrand(ulong seed)
   cl_object array = ecl_alloc_simple_vector((MT_N + 1), ecl_aet_b64);
   ulong *mt = array->vector.self.b64;
   mt[0] = seed;
-  for (int j=1; j<MT_N; j++)
+  int j;
+  for (j=1; j<MT_N; j++)
     mt[j] =  (6364136223846793005ULL * (mt[j-1] ^ (mt[j-1] >> 62)) + j);
 
   mt[MT_N] = MT_N+1;
@@ -134,7 +135,8 @@ init_genrand(ulong seed)
   cl_object array = ecl_alloc_simple_vector((MT_N + 1), ecl_aet_b32);
   ulong *mt = array->vector.self.b32;
   mt[0] = seed;
-  for (int j=1; j < MT_N; j++)
+  int j;
+  for (j=1; j < MT_N; j++)
     mt[j] = (1812433253UL * (mt[j-1] ^ (mt[j-1] >> 30)) + j);
 
   mt[MT_N] = MT_N+1;