Fix explicit library extension