diff --git a/userspace/wrsw_hal/hal_main.c b/userspace/wrsw_hal/hal_main.c
index 8b274686eaa11862eceb499e84aaa93790ae4c1a..ca8b44fbc0fed00cd9e5018df122e43eec71badc 100644
--- a/userspace/wrsw_hal/hal_main.c
+++ b/userspace/wrsw_hal/hal_main.c
@@ -26,6 +26,7 @@
 #include "hal_ports.h"
 #include "hal_timer.h"
 #include "hal_timing.h"
+#include "hal_port_leds.h"
 
 #define MAX_CLEANUP_CALLBACKS 16
 
diff --git a/userspace/wrsw_hal/hal_port_fsm_tx.c b/userspace/wrsw_hal/hal_port_fsm_tx.c
index 311bab7488df88549f55627a2dbc45f3880be7c7..2fd3541f008929f0484beabd8b1d292a58da67c8 100644
--- a/userspace/wrsw_hal/hal_port_fsm_tx.c
+++ b/userspace/wrsw_hal/hal_port_fsm_tx.c
@@ -551,19 +551,6 @@ static void _load_tx_calibration_file(struct hal_port_state * ports) {
 	cfg_close(_calibrationConfig);
 }
 
-static int file_exists(const char *filename)
-{
-	FILE *f = fopen(filename, "r");
-
-	if (f != NULL)
-	{
-		fclose(f);
-		return 1;
-	}
-
-	return 0;
-}
-
 static void _write_tx_calibration_file(struct hal_port_state * ps)
 {
 	int i;