--- openssh-6.2p1.orig/ssh-pkcs11-helper.c	2012-07-02 14:15:39.000000000 +0200
+++ openssh-6.2p1/ssh-pkcs11-helper.c	2013-08-20 18:05:07.349881322 +0200
@@ -18,6 +18,7 @@
 #include "includes.h"
 
 #include <sys/types.h>
+#include <sys/param.h>
 #ifdef HAVE_SYS_TIME_H
 # include <sys/time.h>
 #endif