Forcibly break compilation under arduino 1.5.7 and later until I can fix GCC compilation.