Fixed bug in gethrvtime when cpu_time_t isn't 64 bit long. Fixed gethrtime to actually use the get_real_time function. Rev: src/builtin_functions.c:1.641