--- a/master/ioctl.h	Fri Apr 24 09:51:11 2009 +0000
+++ b/master/ioctl.h	Fri Apr 24 10:24:53 2009 +0000
@@ -389,7 +389,7 @@
 
 typedef struct {
     // inputs
-    struct timeval app_time;
+    uint64_t app_time;
 } ec_ioctl_dc_t;
 
 /*****************************************************************************/