Add missing files for extlib