diff --git a/libraries/AP_HAL_Linux/AnalogIn_PXF.cpp b/libraries/AP_HAL_Linux/AnalogIn_PXF.cpp
index 640177e551..ff678e6a54 100644
--- a/libraries/AP_HAL_Linux/AnalogIn_PXF.cpp
+++ b/libraries/AP_HAL_Linux/AnalogIn_PXF.cpp
@@ -131,7 +131,7 @@ void PXFAnalogSource::set_settle_time(uint16_t settle_time_ms)
 PXFAnalogIn::PXFAnalogIn()
 {}
 
-void PXFAnalogIn::init(void* machtnichts)
+void PXFAnalogIn::init()
 {}
 
 
diff --git a/libraries/AP_HAL_Linux/AnalogIn_PXF.h b/libraries/AP_HAL_Linux/AnalogIn_PXF.h
index 2c362b3f03..0307e9bcbb 100644
--- a/libraries/AP_HAL_Linux/AnalogIn_PXF.h
+++ b/libraries/AP_HAL_Linux/AnalogIn_PXF.h
@@ -3,6 +3,8 @@
 #define __AP_HAL_PXF_ANALOGIN_H__
 
 #include "AP_HAL_Linux.h"
+#include <AP_ADC/AP_ADC.h>
+
 #include <stdio.h>
 #include <sys/types.h>
 #include <sys/stat.h>
@@ -45,7 +47,7 @@ private:
 class PXFAnalogIn : public AP_HAL::AnalogIn {
 public:
     PXFAnalogIn();
-    void init(void* implspecific);
+    void init();
     AP_HAL::AnalogSource* channel(int16_t n);
 
     // we don't yet know how to get the board voltage