diff --git a/repos/os/src/drivers/gpio/spec/rpi/foc/target.mk b/repos/os/src/drivers/gpio/spec/rpi/foc/target.mk
index 8b2951ce7b..e49f9ef18a 100644
--- a/repos/os/src/drivers/gpio/spec/rpi/foc/target.mk
+++ b/repos/os/src/drivers/gpio/spec/rpi/foc/target.mk
@@ -1,5 +1,7 @@
 TARGET   = foc_gpio_drv
 REQUIRES = rpi
-SRC_CC  += ../main.cc
-LIBS    += base
+SRC_CC  += main.cc
+LIBS     = base
 INC_DIR += $(PRG_DIR) $(PRG_DIR)/..
+
+vpath main.cc $(PRG_DIR)/..
diff --git a/repos/os/src/drivers/gpio/spec/rpi/hw/target.mk b/repos/os/src/drivers/gpio/spec/rpi/hw/target.mk
index 7d590f170e..7aa018f880 100644
--- a/repos/os/src/drivers/gpio/spec/rpi/hw/target.mk
+++ b/repos/os/src/drivers/gpio/spec/rpi/hw/target.mk
@@ -1,5 +1,7 @@
 TARGET   = hw_gpio_drv
 REQUIRES = rpi
-SRC_CC  += ../main.cc
+SRC_CC  += main.cc
 LIBS     = base
 INC_DIR += $(PRG_DIR) $(PRG_DIR)/..
+
+vpath main.cc $(PRG_DIR)/..