diff --git a/server/char_device.c b/server/char_device.c
index 721bd8d9..792ab9c5 100644
--- a/server/char_device.c
+++ b/server/char_device.c
@@ -20,6 +20,7 @@
 */
 
 
+#include <config.h>
 #include "char_device.h"
 #include "red_channel.h"
 #include "reds.h"
diff --git a/server/spice_timer_queue.c b/server/spice_timer_queue.c
index 690ab831..833ab1d1 100644
--- a/server/spice_timer_queue.c
+++ b/server/spice_timer_queue.c
@@ -15,6 +15,7 @@
    You should have received a copy of the GNU Lesser General Public
    License along with this library; if not, see <http://www.gnu.org/licenses/>.
 */
+#include <config.h>
 #include <pthread.h>
 #include "red_common.h"
 #include "spice_timer_queue.h"
diff --git a/server/tests/test_vdagent.c b/server/tests/test_vdagent.c
index bb267ddc..af331457 100644
--- a/server/tests/test_vdagent.c
+++ b/server/tests/test_vdagent.c
@@ -2,8 +2,8 @@
  * Test vdagent guest to server messages
  */
 
-#include <string.h>
 #include <config.h>
+#include <string.h>
 #include <stdlib.h>
 #include <stdio.h>