IO: allow dynamic loading of file formats