Fix missing file in library