Using standard Arduino libraries with PCDuino

I’m using PCDuino3, and it has the ability to compile basic C programs in a modified arduino IDE so that you can get up and running and use the board just like an Arduino UNO.

My problem is, I want to use the servo library, but it is incompatible with the PCDuino arduino IDE (it is included in the normal arduino IDE). I grabbed the servo library from the arduino source code and tried to make some minor modifications (include<core.h>, replacing Arduino.h with environment.h), but there was still nothing to be helped.

Has anyone had any experience in modifying standard arduino libraries to work with the PCDuino? Is there a better way to accomplish this?

servo library: http://arduino.cc/en/reference/servo