diff --git a/libraries/GCS_MAVLink/GCS_Logs.cpp b/libraries/GCS_MAVLink/GCS_Logs.cpp
index a7c4505fce..70192f3f4c 100644
--- a/libraries/GCS_MAVLink/GCS_Logs.cpp
+++ b/libraries/GCS_MAVLink/GCS_Logs.cpp
@@ -162,7 +162,7 @@ void GCS_MAVLINK::handle_log_send(DataFlash_Class &dataflash)
         num_sends = 10;        
     }
 
-#if CONFIG_HAL_BOARD == HAL_BOARD_AVR_SITL
+#if CONFIG_HAL_BOARD == HAL_BOARD_SITL
     // assume USB speeds in SITL for the purposes of log download
     num_sends = 40;
 #endif
diff --git a/libraries/GCS_MAVLink/examples/routing/routing.pde b/libraries/GCS_MAVLink/examples/routing/routing.pde
index 393c0fc6c5..d7cc04c24b 100644
--- a/libraries/GCS_MAVLink/examples/routing/routing.pde
+++ b/libraries/GCS_MAVLink/examples/routing/routing.pde
@@ -9,7 +9,7 @@
 #include <AP_Progmem.h>
 #include <AP_HAL.h>
 #include <AP_HAL_AVR.h>
-#include <AP_HAL_AVR_SITL.h>
+#include <AP_HAL_SITL.h>
 #include <AP_HAL_Linux.h>
 #include <AP_HAL_FLYMAPLE.h>
 #include <AP_HAL_PX4.h>