diff --git a/INSTALL b/INSTALL
index 2da59bf5..3a3b8e35 100644
--- a/INSTALL
+++ b/INSTALL
@@ -70,7 +70,7 @@ MacPort command:
 Hint provided by Pascal J. Bourguignon.
 
 
-* Cross-compile for the iOS platform
+* Cross-compile for the iOS platform (needs Xcode 11 or higher)
 1. Build the host ECL
    #+BEGIN_SRC shell-script
      ./configure --prefix=`pwd`/ecl-iOS-host --disable-c99complex
@@ -110,17 +110,3 @@ Hint provided by Pascal J. Bourguignon.
    #+END_SRC
 4. Library and assets in the ecl-iOS directory are ready to run on
    the iOS system.
-
-** Using ECL on iOS
-
-The Boehm-Demers-Weiser garbage collector cannot find the stack base
-automatically on iOS. Therefore, this has to be specified manually. In
-the main function, before calling cl_boot, add e.g. (see the garbage
-collector documentation for more details):
-#+BEGIN_SRC C
-  const int size = 256;
-  char* ecl_argv[size];
-  GC_allow_register_threads();
-  GC_register_my_thread((const struct GC_stack_base*)ecl_argv);
-  GC_stackbottom = (char*)(ecl_argv + size - 1);
-#+END_SRC
\ No newline at end of file