Thanks for replying.
If that is the case then it is extremely annoying and one has to wonder why it has not been resolved.
To be clear what do you mean by the Ardunio runtime, do you means the IDE or the compiler? If the complier then presumably using a different C compiler may work, but are there any other known ways of getting the Timer1C (OC1C) output from device pin 26/Arduino Digital Pin13?
Regards,
Stephen