Reading Library state from file now fully works