diff --git a/src/ui/android/jni/Android.mk b/src/ui/android/jni/Android.mk
index 7064ac673..13b2c3e5f 100644
--- a/src/ui/android/jni/Android.mk
+++ b/src/ui/android/jni/Android.mk
@@ -3,7 +3,8 @@ LOCAL_PATH := $(call my-dir)
 include $(CLEAR_VARS)
 
 jni_c_files := jpgf.c
-pgf_c_files := data.c expr.c graphviz.c linearizer.c literals.c parser.c parseval.c pgf.c printer.c reader.c reasoner.c jit.c typechecker.c
+pgf_c_files := data.c expr.c graphviz.c linearizer.c literals.c parser.c parseval.c pgf.c printer.c reader.c \
+reasoner.c evaluator.c jit.c typechecker.c
 gu_c_files := assert.c  choice.c  exn.c   fun.c   in.c      map.c  out.c    str.c     type.c  utf8.c \
 bits.c    defs.c    enum.c  file.c  hash.c  mem.c  prime.c  seq.c   string.c  ucs.c   variant.c