diff --git a/obelisk/nixpkgs-overlay.nix b/obelisk/nixpkgs-overlay.nix
index f43f5bd8c9d346230fced16f4bdbe11d5ff39e4b..13be099d4744075635a1de455cfdaa5291da3839 100644
--- a/obelisk/nixpkgs-overlay.nix
+++ b/obelisk/nixpkgs-overlay.nix
@@ -40,6 +40,13 @@
       # flags but they changes are not appropriate for our version of the
       # source.  Disable that change.
       postPatch = null;
+
+      meta = old // {
+        # The derivation declares its supported platforms and they don't
+        # include the ones we need for Android.  Adjust that declaration so
+        # that it does.
+        platforms = old.meta.platforms ++ [ "aarch64-linux" "armv7a-linux" ];
+      };
     });
 
   # For whatever reason, it seems callCabal2nix for tahoe-chk wants to use the