update to modinfolib and other files