Another fix for libraries