Adding
#include <Arduino.h>
to the ServoDecode.H file right after
#include <inttypes.h>
fixes that problem.