After searching back a bit further than before I see this was discussed
in April and the answer was to use printf for the 8 bit string.
something like:
writef("elapsed time %.9f", elapsed_time);
printf(" \xB5S\n");
does work, but if anybody has a more elegant solution please let me know.