Nico Erfurth's patch to use less resources in spool_read_header,