diff --git a/src/rp2_common/hardware_clocks/CMakeLists.txt b/src/rp2_common/hardware_clocks/CMakeLists.txt
index 3718d83..ceb29e2 100644
--- a/src/rp2_common/hardware_clocks/CMakeLists.txt
+++ b/src/rp2_common/hardware_clocks/CMakeLists.txt
@@ -1,11 +1,13 @@
 pico_simple_hardware_target(clocks)
 
 target_link_libraries(hardware_clocks INTERFACE
+        hardware_gpio
+        hardware_irq
         hardware_resets
-        hardware_watchdog
-        hardware_xosc
         hardware_pll
         # not currently used by clocks.c, but sensibly bundled here
         # as changing frequencies may require upping voltage
         hardware_vreg
+        hardware_watchdog
+        hardware_xosc
 )
\ No newline at end of file
diff --git a/src/rp2_common/hardware_gpio/gpio.c b/src/rp2_common/hardware_gpio/gpio.c
index a9b953b..2d08c7b 100644
--- a/src/rp2_common/hardware_gpio/gpio.c
+++ b/src/rp2_common/hardware_gpio/gpio.c
@@ -10,7 +10,9 @@
 #include "hardware/structs/iobank0.h"
 #include "hardware/irq.h"
 
+#if LIB_PICO_BINARY_INFO
 #include "pico/binary_info.h"
+#endif
 
 static gpio_irq_callback_t _callbacks[NUM_CORES];
 
@@ -141,7 +143,9 @@ void gpio_acknowledge_irq(uint gpio, uint32_t events) {
 void gpio_debug_pins_init() {
     gpio_init_mask(DEBUG_PIN_MASK);
     gpio_set_dir_masked(DEBUG_PIN_MASK, DEBUG_PIN_MASK);
+#if LIB_PICO_BINARY_INFO
     bi_decl_if_func_used(bi_pin_mask_with_names(DEBUG_PIN_MASK, "Debug"));
+#endif
 }
 
 void gpio_set_input_enabled(uint gpio, bool enabled) {