--- /dev/null
+diff -u -r ../gdb-7.6.2/readline/complete.c ./readline/complete.c
+--- ../gdb-7.6.2/readline/complete.c 2013-12-08 05:11:52.000000000 +0100
++++ ./readline/complete.c 2014-01-07 16:43:59.170309785 +0100
+@@ -2026,7 +2026,7 @@
+ const char *text;
+ int state;
+ {
+-#if defined (__WIN32__) || defined (__OPENNT)
++#if defined (__WIN32__) || defined (__OPENNT) || defined (__ANDROID__)
+ return (char *)NULL;
+ #else /* !__WIN32__ && !__OPENNT) */
+ static char *username = (char *)NULL;