Added an include needed when compiling with pcduino source