diff -r b99b41325d89 -r 50677f43ac3d make/autoconf/build-aux/config.sub
--- a/make/autoconf/build-aux/config.sub	Tue Jan 01 20:09:02 2019 -0500
+++ b/make/autoconf/build-aux/config.sub	Wed Jan 02 12:59:26 2019 +0100
@@ -29,7 +29,13 @@
 
 DIR=`dirname $0`
 
-# First, filter out everything that doesn't begin with "aarch64-"
+# Allow wsl
+if echo $* | grep x86_64-pc-wsl >/dev/null ; then
+    echo $*
+    exit
+fi
+
+# Filter out everything that doesn't begin with "aarch64-"
 if ! echo $* | grep '^aarch64-' >/dev/null ; then
     . $DIR/autoconf-config.sub "$@"
     # autoconf-config.sub exits, so we never reach here, but just in