diff --git a/devmode.php.dist b/devmode.php.dist
index d058824b66..5e4fe8d80e 100644
--- a/devmode.php.dist
+++ b/devmode.php.dist
@@ -1,4 +1,4 @@
 <?php
 
-include(__DIR__ . '/c3.php');
+require_once(__DIR__ . '/c3.php');