-TERMUX_PKG_VERSION=7.4.2
-TERMUX_PKG_SRCURL=http://www.hboehm.info/gc/gc_source/gc-${TERMUX_PKG_VERSION}.tar.gz
+# The latest release 7.4.2 is too old for aarch64, use the version
+# https://github.com/ivmai/bdwgc/tree/c861ec3d1825b5bb450d20bf9091562fa8a81a4d
+# from 2016-0-114 21:34 for now.
+TERMUX_PKG_VERSION=7.4.201601142134
+TERMUX_PKG_SRCURL=https://github.com/ivmai/bdwgc/archive/c861ec3d1825b5bb450d20bf9091562fa8a81a4d.zip
+TERMUX_PKG_FOLDERNAME=bdwgc-c861ec3d1825b5bb450d20bf9091562fa8a81a4d