The library files for #65