added support for gettimeofday system call