Fix warnings about passing size_t to fprintf
    
    When passing length specifiers to fprintf(), cast size_t values to int
    to avoid a compiler warning.