Fixed a bug in extract_loadname (was throwing EOF on empty lines).