--- src/is_supported_platform.h~	2020-01-14 16:39:04.020681869 +0000
+++ src/is_supported_platform.h	2020-01-14 16:55:46.981973619 +0000
@@ -30,7 +30,7 @@
 #define DT_SUPPORTED_X86 0
 #endif
 
-#if defined(__aarch64__) && defined(__ARM_64BIT_STATE) && defined(__ARM_ARCH) && defined(__ARM_ARCH_8A)
+#if defined(__aarch64__) && defined(__ARM_64BIT_STATE) && defined(__ARM_ARCH) && __ARM_ARCH_PROFILE == 'A'
 #define DT_SUPPORTED_ARMv8A 1
 #else
 #define DT_SUPPORTED_ARMv8A 0