Adding some possibly-unused libraries