Android

Minor change to fix a cross-compilation error.
Now can cross-compile from linux to android.
See README.android