diff -up tboot-1.7.3/tb_polgen/param.c.orig tboot-1.7.3/tb_polgen/param.c
--- tboot-1.7.3/tb_polgen/param.c.orig	2012-12-28 01:30:13.000000000 -0500
+++ tboot-1.7.3/tb_polgen/param.c	2013-01-30 14:34:03.696709545 -0500
@@ -184,7 +184,7 @@ void print_params(param_data_t *params)
     info_msg("\t pcr = %d\n", params->pcr);
     info_msg("\t hash_type = %d\n", params->hash_type);
     info_msg("\t pos = %d\n", params->pos);
-    info_msg("\t cmdline length = %lu\n", strlen(params->cmdline));
+    info_msg("\t cmdline length = %u\n", strlen(params->cmdline));
     info_msg("\t cmdline = %s\n", params->cmdline);
     info_msg("\t image_file = %s\n", params->image_file);
     info_msg("\t elt_file = %s\n", params->elt_file);
@@ -409,7 +409,7 @@ bool parse_input_params(int argc, char *
                     return false;
                 }
                 if (strlen(optarg) > sizeof(params->cmdline) - 1) {
-                    error_msg("Command line length of %lu exceeds %d "
+                    error_msg("Command line length of %u exceeds %d "
                               "character maximum\n", 
                               strlen(optarg), TBOOT_KERNEL_CMDLINE_SIZE-1);
                     return false;