--- /dev/null
+#ifndef _LIBINTL_H
+#define _LIBINTL_H
+
+#define _(s) (s)
+#define N_(s)
+
+extern char *bindtextdomain(const char *domainname, const char *dirname);
+
+extern char *gettext(const char *msgid);
+extern char *dgettext(const char *domainname, const char *msgid);
+extern char *dcgettext(const char *domainnanem, const char *msgid, int category);
+
+extern char *ngettext(const char *msgid, const char *msgid_plural, unsigned long n);
+extern char *dngettext(const char *domainname, const char *msgid, const char *msgid_plural, unsigned long n);
+extern char *dcngettext(const char *domainname, const char *msgid, const char *msgid_plural, unsigned long n, int category);
+
+extern char *textdomain(const char *domainname);
+
+#endif
--- /dev/null
+#include <stdio.h>
+#include <unistd.h>
+
+/*
+ * Wrap the kernel time call so that it also
+ * returns a time_t (longlong). The kernel ABI
+ * doesn't deal in 64bit return values.
+ */
+int stime(const time_t *t)
+{
+ __ktime_t tmp;
+ tmp.time = *t;
+#if defined(NO_64BIT)
+ tmp.pad = 0;
+#endif
+ return _stime(&tmp, 0);
+}