add include <config.h>, and update comments to use the new names

bin/pkcs11/pkcs11-destroy.c

@@ -1,4 +1,6 @@
-/* destroyobj [-s $slot] [-i $id | -l $label] [-p $pin] */
+/* pkcs11-destroy [-s $slot] [-i $id | -l $label] [-p $pin] */
+
+#include <config.h>
 
 #include <stdio.h>
 #include <stdlib.h>

bin/pkcs11/pkcs11-keygen.c

@@ -1,4 +1,4 @@
-/* genkey - pkcs11 rsa key generator
+/* pkcs11-keygen - pkcs11 rsa key generator
  *
  * create RSASHA1 key in the keystore of an SCA6000
  * The calculation of key tag is left to the script
@@ -6,10 +6,12 @@
  * it into a zone file.
  *
  * usage:
- * genkey [-P] [-s slot] -b keysize -l label [-p pin] 
+ * pkcs11-keygen [-P] [-s slot] -b keysize -l label [-p pin] 
  *
  */
 
+#include <config.h>
+
 #include <stdio.h>
 #include <stdlib.h>
 #include <unistd.h>

bin/pkcs11/pkcs11-list.c

@@ -1,4 +1,6 @@
-/* listobjs [-P] [-s slot] [-i $id | -l $label] [-p $pin] */
+/* pkcs11-list [-P] [-s slot] [-i $id | -l $label] [-p $pin] */
+
+#include <config.h>
 
 #include <stdio.h>
 #include <stdlib.h>