diff --git a/conf/ai_server.conf b/conf/local.conf.ai_dist
similarity index 74%
rename from conf/ai_server.conf
rename to conf/local.conf.ai_dist
index 3bb15411c4..acbfc8c3f3 100644
--- a/conf/ai_server.conf
+++ b/conf/local.conf.ai_dist
@@ -1,6 +1,7 @@
-include "application"
+include "base"
 
 config_name = "production AI server"
+
 ai {
   server = true
   client = false
@@ -9,5 +10,8 @@ ai {
     analyse {
       movetime = 500
     }
+    play {
+      movetime = 400
+    }
   }
 }