[nhc-bugs] PC_base.z.o(.data+0x8): undefined reference to `TM_PC_95base'

[malcolm@cs.york.ac.uk]

> PC_base.z.o(.data+0x8): undefined reference to `TM_PC_95base'
> PC_base.z.o(.data+0x3c): undefined reference to `TMSUB_PC_95base'

I suspect this is a fault in the name-mangling part of our time profiler.
Try renaming the module so that it does not have an underscore in it!
(both the filename and the module name I guess.)

Regards,
    Malcolm