patches to compile on pcDuino and output to stdout