No matches were found for subject:"Are libtool .la files in non\-dev library packages bugs\?"