--- ../hdf5debug.c.orig	2020-04-04 12:36:38.890268947 +0200
+++ ./libhdf5/hdf5debug.c	2020-04-04 12:36:57.386896660 +0200
@@ -5,7 +5,7 @@
 #include "config.h"
 #include <stdarg.h>
 #include <stdio.h>
-#if !defined _WIN32 && !defined __CYGWIN__
+#if !defined _WIN32 && !defined __CYGWIN__ && !defined __ANDROID__
 #include <execinfo.h>
 #endif