diff --git a/defines.inc.php3 b/defines.inc.php3
index 2cdc2c5bc..8c22ebd03 100755
--- a/defines.inc.php3
+++ b/defines.inc.php3
@@ -46,6 +46,8 @@ if (!defined('PMA_WINDOWS')) {
     }
 }
 
+if (!$nomysql) {  // small hack (temporary)
+
 // MySQL Version
 if (!defined('MYSQL_MAJOR_VERSION')) {
     if (!empty($server)) {
@@ -68,4 +70,6 @@ if (!defined('MYSQL_MAJOR_VERSION')) {
         define('MYSQL_MINOR_VERSION', 0);
     } // end if
 }
+
+}
 ?>
diff --git a/lib.inc.php3 b/lib.inc.php3
index 8309de744..37e85a8f6 100755
--- a/lib.inc.php3
+++ b/lib.inc.php3
@@ -95,7 +95,9 @@ if (!defined('__LIB_INC__')){
     }
  
     // defines wants to connect mysql, and at this place there are no connexion yet...
-    // include('./defines.inc.php3');
+    $nomysql = 1;
+    include('./defines.inc.php3');
+    $nomysql = 0;