ctkHighPrecisionTimer HACK: This timeConvert thing does not compile on MacOSX-10.9.2-gcc-4.7, fixing it temporarily by putting the member non-static
ctkBackTrace: bug fix discovered on MacOSX, the method signature was wrong